A Multiset Semantics for the pi-calculus with Replication, CONCUR'93

収録刊行物

• Lecture Notes in Computer Science

  Lecture Notes in Computer Science 715 7-21, 1993