On Encoding p pi in m pi

  • Paola Quaglia
  • David Walker


This paper is about the encoding of p pi, the polyadic pi-calculus, in m pi, the monadic pi-calculus. A type system for m pi processes is introduced that captures the interaction regime underlying the encoding of p pi processes respecting a sorting. A full-abstraction result is shown: two p pi processes are typed barbed congruent iff their m pi encodings are monadic-typed barbed congruent.
How to Cite
Quaglia, P., & Walker, D. (1998). On Encoding p pi in m pi. BRICS Report Series, 5(26). https://doi.org/10.7146/brics.v5i26.19432