位置：成果数据库 > 期刊 > 期刊详情页
Process passing calculus revisited
  • 期刊名称：J. Shanghai Jiaotong Univ.
  • 时间：2013
  • 页码：29-36
  • 相关项目：进程演算的可解理论研究
作者： Yin Qiang|Huan Long|
同期刊论文项目
进程演算的可解理论研究
期刊论文 10 会议论文 5
同项目期刊论文
OnParameterization of Higher-Order Processes
A Logical Characterization for Linear Higher-Order Processes
带Mismatch 算子的高阶π演算
Attribute-based key insulated signature and its applications
New Constructions of Dynamic Threshold Cryptosystem
弱偏伪度量空间的完备和双完备
Process passing calculus, revisited
带Mismatch算子的高阶π演算