文章基本信息

标题：On Encoding p pi in m pi
本地全文：下载
作者：Paola Quaglia ; David Walker
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1998
卷号：5
期号：26
出版社：Aarhus University
摘要：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.