位置：成果数据库 > 会议 > 会议详情页
The Buffered Pi-Calculus: A Model for Concurrent Languages
  • 所属机构名称：上海交通大学
  • 会议名称：The 7th International Conference on Language and Automata Theory and Applications
  • 时间：2013.4.1
  • 成果类型：会议
  • 相关项目：并发模型的相对表达能力研究
作者： Xiaojie Deng|Yu Zhang|Yuxin Deng|Farong Zhong|
同会议论文项目
并发模型的相对表达能力研究
期刊论文 3 会议论文 3
同项目会议论文
A New Approach to Proving Local Cause Bisimulation Axiomatically
A Fully Abstract View for Local Cause Semantics