UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

A Labelled Transition System for pi_epsilon-Calculus

van Breugel, Franck (1997) A Labelled Transition System for pi_epsilon-Calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (90Kb)

    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