A theory of communicating processes with value passing

Abstract

A semantic theory of process algebras which allows processes to communicate values is described. A behavioural theory of testing is given for such processes and is modelled by an extension of Acceptance Trees. A proof system is also given for this model and is shown to be both sound and complete. Finally, the model is shown to be fully abstract with respect to the behavioural theory. © 1993 Academic Press, Inc.