位置：成果数据库 > 会议 > 会议详情页
A Fully Abstract View for Local Cause Semantics
  • 所属机构名称：上海交通大学
  • 会议名称：7th International Conference on Advances in Grid and Pervasive Computing, GPC 2012
  • 时间：2012.5.11
  • 成果类型：会议
  • 相关项目：并发模型的相对表达能力研究
作者： Jianxin Xue|Xiaoju Dong|
同会议论文项目
并发模型的相对表达能力研究
期刊论文 3 会议论文 3
同项目会议论文
A New Approach to Proving Local Cause Bisimulation Axiomatically
The Buffered Pi-Calculus: A Model for Concurrent Languages