Objects in the π-Calculus

• 1 February 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 116  (2) , 253-271
• https://doi.org/10.1006/inco.1995.1018

Abstract

Keywords

• Π CALCULUS
• SEMANTICS
• DIRECTLY
• CORRESPONDENCE
• ORIENTED
• TRANSLATION
• TRANSITIONAL
• LANGUAGE