论文部分内容阅读
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统中进程通信一旦发生,合式进程在通道上不会发生死锁的情形.此外,还定义了递归会话类型的子类型和松弛对偶关系,提高了类型系统的灵活性.
二元会话类型系统中演进特性研究
【摘 要】
：
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统
【机 构】
：
浙江师范大学数理与信息工程学院
【出 处】
：
浙江师范大学学报：自然科学版
【发表日期】
：
2013年2期
【基金项目】
：
国家自然科学基金资助项目（60873234）, 浙江省计算机软件与理论重中之重学科开放基金资助项目（ZSDZZZZXK24）
其他文献
利用传统高温固相法合成了一种新颖的绿色荧光粉Ba9Lu2Si6O24：Eu2＋通过x-射线粉末衍射仪（XRD）对已得荧光粉样品进行了结构表征；通过扫描电子显微镜（SEM）观察了样品的形貌；利用激发、
【摘要】在新媒体环境下，大学生“道德失范”现象由诸多因素影响所致。从生态学视野出发，可从两个方面着手应对这种状况：一是在生态性社会文化语境方面，要健全法制、提升公民的精神生活、弘扬主流价值观；二是在营造生态性高校教育系统方面，要树立生态性教育理念、转变教师主体角色、营造生态性校园环境。 【关键词】道德失范 新媒体 生态学 【中图分类号】G647 【文献标识码】A 在以新媒体为媒介的传播环境中
【摘要】针对财产而采取的没收措施在某些情况下会牵涉到第三方，所以在没收国际合作的法律机制中必然要体现另一面，即在围绕没收事宜进行国际合作的过程不得损害善意第三方的权利。对被害人的保护措施通常包括专门立法、设立专门基金等；而对善意第三人通常会在诉讼进程中采取保护措施，在实施没收后通过资产返还机制返还其合法财产，并建立相应的救济措施。 【关键词】没收 国际司法合作 权利救济 【中图分类号】D997
以小区别墅为3D虚拟漫游系统对象,利用3Ds Max与Quest 3D平台作为开发工具,构建完全沉浸式别墅漫游系统.就系统在集成开发阶段VR场景中相机的创建、灯光的设置、VR场景的三折幕布发布等技术进行研究,提出以小区别墅完全沉浸式案例的虚拟仿真漫游系统的完整方案,并加以实现,为推进完全沉浸式虚拟仿真漫游系统的应用提供了实例参考.
采用水热法以硫酸亚铁（FeSO4）、硫代硫酸钠（Na2S2O3）和硫粉（S）为反应物,在180℃下反应24h合成了二硫化亚铁（FeS2）纳米晶体.通过X射线衍射（XRD）、拉曼光谱（Raman）、场发射扫描电镜（FESEM）和
传统电子政务轻服务和用户需求,信息孤岛效应突出,线上线下一体化服务质量不高,无法满足移动政务服务需求。作为一种新型电子政务发展模式,"互联网+政务"应以公民需求为导向,
设μ1（ G）表示一个图G的Mycielski 图。广义Mycielski图μm （ G）是Mycielski 图μ1（ G）的自然推广。研究广义Mycielski图μm （ G）的边染色问题，运用换色技巧证明了：若G是不同于K2的连通