A multiset semantics for the pi-calculus with replication

被引：28
作者：
Engelfriet, J
机构：
[1] Department of Computer Science, Leiden University, 2300 RA Leiden
来源：
THEORETICAL COMPUTER SCIENCE | 1996年 / 153卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(95)00118-2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A multiset (or Petri net) semantics is defined for the pi-calculus with replication. The semantic mapping is a strong bisimulation, and structurally congruent processes have the same semantics. This paper is readable without knowledge of Petri nets.
引用
收藏
页码：65 / 94
页数：30
相关论文
共 26 条
  • [1] BAETEN JCM, 1988, MATH PROBLEMS CONMPU, V21, P47
  • [2] PROGRAMMING BY MULTISET TRANSFORMATION
    BANATRE, JP
    LEMETAYER, D
    [J]. COMMUNICATIONS OF THE ACM, 1993, 36 (01) : 98 - 111
  • [3] BARENDREGT H, 1984, LAMBDA CALCULUS
  • [4] THE CHEMICAL ABSTRACT MACHINE
    BERRY, G
    BOUDOL, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 217 - 248
  • [5] BOUDOL G, 1994, LNCS, V0803, P00092, DOI DOI 10.1007/3-540-58043-3
  • [6] de Bruijn N. G., 1972, INDAG MATH, V34, P381, DOI DOI 10.1016/1385-7258(72)90034-0
  • [7] A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS
    DEGANO, P
    DENICOLA, R
    MONTANARI, U
    [J]. ACTA INFORMATICA, 1988, 26 (1-2) : 59 - 91
  • [8] BRANCHING-PROCESSES OF PETRI NETS
    ENGELFRIET, J
    [J]. ACTA INFORMATICA, 1991, 28 (06) : 575 - 591
  • [9] Engelfriet J., 1993, LECTURE NOTES COMPUT, V715, P7
  • [10] ENGELFRIET J, 1995, 9502 LEID U DEP COMP
123