×

zbMATH — the first resource for mathematics

A theory of communicating processes with value passing. (English) Zbl 0794.68098
Summary: 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.

MSC:
68Q55 Semantics in the theory of computing
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
PDF BibTeX XML Cite
Full Text: DOI