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