eprintid: 131
rev_number: 10
eprint_status: archive
userid: 29
dir: disk0/00/00/01/31
datestamp: 2011-03-01 10:28:27
lastmod: 2011-07-11 14:33:43
status_changed: 2011-03-01 10:28:27
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Buscemi, Maria Grazia
creators_name: Montanari, Ugo
creators_id: m.buscemi@imtlucca.it
creators_id: 
title: A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: Extended version available as Technical
Report TR-02-14, Dipartimento di Informatica, Università di Pisa (http://compass2.di.unipi.it/TR/default.aspx?year=2002).
The final publication is available at www.springerlink.com
abstract: In this paper, we propose a compositional coalgebraic semantics of the π-calculus based on a novel approach for lifting calculi with structural axioms to coalgebraic models. We equip the transition system of the calculus with permutations, parallel composition and restriction operations, thus obtaining a bialgebra. No prefix operation is introduced, relying instead on a clause format defining the transitions of recursively defined processes. The unique morphism to the final bialgebra induces a bisimilarity relation which coincides with observational equivalence and which is a congruence with respect to the operations. The permutation algebra is enriched with a name extrusion operator δ à la De Brujin, that shifts any name to the successor and generates a new name in the first variable x 0. As a consequence, in the axioms and in the SOS rules there is no need to refer to the support, i.e., the set of significant names, and, thus, the model turns out to be first order.
date: 2002
date_type: published
series: Lecture Notes in Computer Science
volume: 2421
publisher: Springer
pagerange: 449-465
id_number: 10.1007/3-540-45694-5_30
refereed: TRUE
isbn: 3-540-44043-7
book_title: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02)
editors_name: Brim, Luboš
editors_name: Jancar, Petr
editors_name: Kretínský, Mojmír
editors_name: Kucera, Antonín
official_url: http://dx.doi.org/10.1007/3-540-45694-5_30
funders: Research supported in part by FET Global project PROFUNDIS and by MIUR project COMETA.
citation:   Buscemi, Maria Grazia and Montanari, Ugo  A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.   In:  Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02).   Lecture Notes in Computer Science, 2421 .  Springer, pp. 449-465.  ISBN 3-540-44043-7      (2002)