relation: http://eprints.imtlucca.it/361/
title: A Symbolic Semantics for the pi-Calculus
creator: Boreale, Michele
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: We use symbolic transition systems as a basis for providing theπ-calculus with an alternative semantics. The latter is more amenable to automatic manipulation and sheds light on the logical differences among different forms of bisimulation over algebras of name-passing processes. Symbolic transitions have the form[formula], whereφis a boolean combination of equalities on names that has to hold for the transition to take place, andαis standard aπ-calculus action. On top of the symbolic transition system, a symbolic bisimulation is defined that captures the standard ones. Finally, a sound and complete proof system is introduced for symbolic bisimulation.
publisher: Elsevier
date: 1996
type: Article
type: PeerReviewed
identifier:   Boreale, Michele and De Nicola, Rocco  A Symbolic Semantics for the pi-Calculus.  Information and Computation, 126 (1).  pp. 34-52.  ISSN 0890-5401      (1996)  
relation: http://www.sciencedirect.com/science/article/pii/S0890540196900322
relation: 10.1006/inco.1996.0032