Final Semantics for the -calculus

  title={Final Semantics for the -calculus},
  author={M. LenisaUniversit},
  • M. LenisaUniversit
  • Published 1998
In this paper we discuss nal semantics for the-calculus, a process algebra which models systems that can dynamically change the topology of the channels. We show that the nal semantics paradigm, originated by Aczel and Rutten for CCS-like languages, can be successfully applied also here. This is achieved by suitably generalizing the standard techniques so as to accommodate the mechanism of name creation and the behaviour of the binding operators peculiar to the-calculus. As a preliminary step… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 11 references

Set theory with free construction principles

  • M. Forti, F. Honsell
  • An - nali Scuola Normale Sup . Pisa , Cl . Sci .
  • 1996

A fullyabstract model for the calculus

  • E. Moggi M. Fiore, D. Sangiorgi.
  • 1995

Modal logic for mobile processes

  • R. Milner, J. Parrow, D. Walker
  • Th . Comp . Sci .
  • 1992

Aczel . Final universes of processes

  • P.
  • 1988

Similar Papers

Loading similar papers…