eprintid: 355
rev_number: 8
eprint_status: archive
userid: 32
dir: disk0/00/00/03/55
datestamp: 2011-06-09 10:24:51
lastmod: 2011-07-11 14:36:26
status_changed: 2011-06-09 10:24:51
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Corradini, Flavio
creators_name: De Nicola, Rocco
creators_id: 
creators_id: r.denicola@imtlucca.it
title: Locality Based Semantics for Process Algebras
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: A general framework proposed by Degano, De Nicola and Montanari has been fruitful to define in a natural way non interleaving semantics for process description languages based on causality. The framework relies on a decomposition function used to obtain the set of its sequential processes from a parallel term, and on a set of distributed transition rules carrying information about the actions processes can perform and their location. In this paper we show that also semantics discriminating according to space distribution of processes can be formulated in a natural way within this framework. Two new semantics are proposed. The first one is based on an alternative characterization of the locality equivalence of Boudol, Castellani, Hennessy and Kiehn. Over the latter, our equivalence has the advantage of not requiring explicit introduction of a (infinite) space of locations; this makes it amenable to a mechanical treatment in the same vein as the classical bisimulation-based equivalences. The second semantics is proposed via a direct generalization of Castellani and Hennessy's distributed equivalence to languages with global scoping operators. 
date: 1997
date_type: published
publication: Acta Informatica
volume: 34
number: 4
publisher: Springer
pagerange: 291-324
id_number: 10.1007/s002360050086
refereed: TRUE
issn: 0001-5903
official_url: http://dx.doi.org/10.1007/s002360050086
funders: This work has been partially funded by EEC within the HCM Project EXPRESS, and by CNR within the project “Specifica ad Alto Livello e Verifica di Sistemi Digitali”.
citation:   Corradini, Flavio and De Nicola, Rocco  Locality Based Semantics for Process Algebras.  Acta Informatica, 34 (4).  pp. 291-324.  ISSN 0001-5903      (1997)