van Breugel, Franck (1997) A Labelled Transition System for pi_epsilon-Calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (90Kb) |
Official URL: http://compass2.di.unipi.it/TR/files/TR-97-16.ps.g...
Abstract
A labelled transition system is presented for Milner's pi_epsilon-calculus. This system is related to the reduction system for the calculus presented by Bellin and Scott. Also a reduction system and a labelled transition system for pi_epsilonI-calculus are given and their correspondence is studied. This calculus is a subcalculus of pi_epsilon-calculus in the way Sangiorgi's piI-calculus is a subcalculus of ordinary pi-calculus.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | pi-calculus, reduction system, labelled transition system |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 23 Jan 2015 11:12 |
Last Modified: | 23 Jan 2015 11:12 |
URI: | http://eprints.adm.unipi.it/id/eprint/1981 |
Repository staff only actions
View Item |