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