论文部分内容阅读
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它们的前同余性以及公理系统进行了研究。但是关于may-testing语义并未涉及,本文将对可能测试语义的前同余性进行研究。
May测试语义前同余性的研究
【摘 要】
：
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它们的前同余性以及公理系统进行了研究。但是关于may-testing语义并未涉及,本文将对可能测试语义的前同余性进行研究。
【机 构】
：
南京航空航天大学计算机科学与技术学院
【出 处】
：
电子世界
【发表日期】
：
2016年07期
【基金项目】
：
国家自然科学基金（编号：11426136,60973045）,江苏省高校自然科学基金（编号：13KJB520012）
其他文献
6月底，决策层关于下半年宏观政策偏向中性的调控主基调刚刚传出，国企央企近期便步调一致地集中拿地，这似乎不只是巧合。7月8日，本报记者从一位接近国资委的消息人士处获悉，国资委
莲花河畔景苑在建住宅倒塌事件发生后，根据市人大常委会关于市、区人大联动开展建设工程质量安全管理专项监督工作的要求，闸北区人大常委会及时制定了《闸北区人大常委会关于建
本文研究基于S7-300PLC的控制系统与在线称重机之间的通讯问题。采用CP340通信模块,以点对点的方式实现与上海波峰FC-300在线称重机之间的通讯。在S7-300编程软件Step7上,对C
人口的过度增长和体制造成的利益冲突，都最终导致了土地违法现象的出现。消除土地违法现象，就必须从根源着手，一方面大力控制人口增长，缓解人口压力，另一方面改革集体土地所有制，建
松下问童子，言师采药去。只在此山中，云深不知处。此诗首见于宋太宗太平兴国七年开始编撰的《文苑英华》卷二二八，作者孙韦，诗题作《访羊尊师》，“松”作“花”。不过宋代《唐僧弘
“雾失楼台，月迷津渡，桃源望断无寻处。可堪孤馆闭春寒，杜鹃声里斜阳暮驿寄梅花，鱼传尺素，砌成此恨无重数。郴水幸自绕郴山，为谁流下潇湘去？”宋代诗人秦观因受旧党的牵连而遭到贬斥
现阶段，我国采用集权管理模式的投资体制，以统一的定额作为国家造价管理的主要手段和依据，工程项目管理制度为工程定额管理制度。这种定额管理制度起源于前苏联模式——与高度集