eprintid: 120
rev_number: 7
eprint_status: archive
userid: 29
dir: disk0/00/00/01/20
datestamp: 2011-03-02 11:26:57
lastmod: 2011-07-11 14:33:43
status_changed: 2011-03-02 11:26:57
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: Open Bisimulation for the Concurrent Constraint Pi-Calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: The final publication is available at www.springerlink.com.
abstract: The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous communication paradigm of process calculi with the constraint handling mechanism of concurrent constraint programming. While in the original presentation of the calculus a reduction semantics has been proposed, in this work we investigate the abstract semantics of cc-pi processes. First, we define a labelled transition system of the calculus and a notion of open bisimilarity à la pi-calculus that is proved to be a congruence. Next, we give a symbolic characterisation of bisimulation and we prove that the two semantics coincide. Essentially, two processes are open bisimilar if they have the same stores of constraints - this can be statically checked - and if their moves can be mutually simulated. A key idea of the symbolic transition system is to have ‘contextual’ labels, i.e. labels specifying that a process can evolve only in presence of certain constraints. Finally, we show that the polyadic Explicit Fusions calculus introduced by Gardner and Wischik can be translated into monadic cc-pi and that such a transition preserves open bisimilarity. The mapping exploits fusions and tuple unifications as constraints. 
date: 2008
date_type: published
series: Lecture Notes in Computer Science
volume: 4960
publisher: Springer
pagerange: 254-268
id_number: 10.1007/978-3-540-78739-6_20
refereed: TRUE
isbn: 978-3-540-78738-9
book_title: Proceedings of the 17th European Symposium on Programming (ESOP’08)
editors_name: Drossopoulou, Sophia
official_url: http://dx.doi.org/10.1007/978-3-540-78739-6_20
funders: Research supported by the EU IST-FP6 16004 Integrated Project Sensoria.
citation:   Buscemi, Maria Grazia and Montanari, Ugo  Open Bisimulation for the Concurrent Constraint Pi-Calculus.   In:  Proceedings of the 17th European Symposium on Programming (ESOP’08).   Lecture Notes in Computer Science, 4960 .  Springer, pp. 254-268.  ISBN 978-3-540-78738-9      (2008)