Algebraic Theories for Name-Passing Calculi

  title={Algebraic Theories for Name-Passing Calculi},
  author={Joachim Parrow and Davide Sangiorgi},
  booktitle={REX School/Symposium},
In a theory of processes the names are atomic data items which can be exchanged and tested for identity. A well-known example of a calculus for name-passing is the-calculus, where names additionally are used as communication ports. We provide complete axiomatisations of late and early bisimulation equivalences in such calculi. Since neither of the equivalences is a congruence we also axiomatise the corresponding largest congruences. We consider a few variations of the signature of the language… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…