eprintid: 361
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/61
datestamp: 2011-06-08 14:11:04
lastmod: 2011-07-11 14:36:27
status_changed: 2011-06-08 14:11:04
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Boreale, Michele
creators_name: De Nicola, Rocco
creators_id: 
creators_id: r.denicola@imtlucca.it
title: A Symbolic Semantics for the pi-Calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: An extended abstract of this paper appears in: B. Jonsson and J. Parrow (eds.), Proceedings of CONCUR'94, Lectures Notes in Computer Science 836, Springer-Verlag, 1994.
abstract: 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.
date: 1996
date_type: published
publication: Information and Computation
volume: 126
number: 1
publisher: Elsevier
pagerange: 34-52
id_number: 10.1006/inco.1996.0032
refereed: TRUE
issn: 0890-5401
official_url: http://www.sciencedirect.com/science/article/pii/S0890540196900322
funders: Work partially supported by Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo Contract n. 93.01599.69, by Istituto di Elaborazione dell'Informatzione of C.N.R. at Pisa and by the EXPRESS project within the HCM program of EEC.
citation:   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)