位置：成果数据库 > 会议 > 会议详情页
On context bisimulation for parameterized higher-order processes
  • 所属机构名称：上海交通大学
  • 会议名称：6th interaction and concurrency experience (ICE 2013)
  • 时间：2013.6.6
  • 成果类型：会议
  • 相关项目：进程演算的可解理论研究
同会议论文项目
进程演算的可解理论研究
期刊论文 10 会议论文 5
同项目会议论文
Trees from Functions as Processes
On the Computation Power of Name Parameterization in Higher-order Processes
Decidable logic in the design of functional languages
On the expressiveness of Parameterization in Process-passing