维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

2篇 您的检索式：作者名="Eric MADELAINE"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	Timed-pNets: a communication behavioural semantic model for distributed systems显示文摘	Yanwen CHEN Yixiang CHEN Eric MADELAINE	2015	Frontiers of Computer Science2015，9，1：	1
	2	Towards a bisimulation theory for open synchronized networks of automata显示文摘Dear editor,Open parameterised Networks of synchronized automata(p Nets)are new semantic objects that we propose for defining the semantics of simple or complex composition operators for distributed languages.Open p Nets have an operational semantics,using open transitions that include symbolic hypotheses on the behavior of the p Nets'holes'.We discuss when this semantics can be finite and how to compute it symbolically.We define bisimulation equivalences between open p Nets,and we explore under which hypotheses these equivalences are compatible with composition and are decidable.	Eric MADELAINE Min ZHANG	2016	Science China(Information Sciences)2016，59，5：	0

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费