@TECHREPORT{Hennessy91amodel, author = {M. Hennessy}, title = {A Model for the pi-Calculus}, institution = {}, year = {1991} }

Share

OpenURL

Abstract

We develop a semantic theory based on testing for a minor variant of the ß-calculus. The resulting semantic equivalence can be characterised using of acceptance sets and can also be characterised as an equational theory. We define a class of interpretations for the ß-calculus and construct one which is fully-abstract. Moreover the interpretation we construct is initial in the class of all fully-abstract interpretations. This work has been supported by the ESPRIT/BRA CONCUR project 1 Introduction In [MPW92a], [MPW92b], a calculus of mobile processes, the ß-calculus, is presented. The first reference is an introduction to the calculus and the second develops a semantic theory based on bisimulations, [Mil89]. The ß-calculus is an extension of the process algebra CCS, a more primitive calculus for describing and manipulating processes which perform uninterpreted actions. In the ß-calculus these actions are now interpreted as either the input or output of values along channels. The p...