eprintid: 368 rev_number: 8 eprint_status: archive userid: 32 dir: disk0/00/00/03/68 datestamp: 2011-06-10 13:38:29 lastmod: 2011-07-11 14:36:27 status_changed: 2011-06-10 13:38:29 type: book_section 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: Distribution and Locality of Concurrent Systems ispublished: pub subjects: QA75 divisions: CSA full_text_status: none abstract: A new semantics for process description languages that discriminates according to the distribution in space of processes is proposed. The semantics is based on a set of distributed transition rules that record spatial information and on a notion of equivalence that discriminates according to which actions processes can perform and where these actions are performed. The new semantics is proven to coincide with the locality equivalence of Boudol, Castellani, Hennessy and Kiehn. Over the latter, it has the advantage of not requiring explicit introduction of a (infinite) space of locations; this makes the new equivalence amenable to a mechanical treatment in the same vein as the classical bisimulation-based equivalences. Indeed, we propose a polynomial time algorithm for checking locality equivalence of processes. date: 1994 date_type: published series: Lecture Notes in Computer Science volume: 820 publisher: Springer pagerange: 154-165 id_number: 10.1007/3-540-58201-0_65 refereed: TRUE isbn: 3-540-58201-0 book_title: Automata, Languages and Programming (ICALP 1994) editors_name: Abiteboul, Serge editors_name: Shamir, Eli official_url: http://dx.doi.org/10.1007/3-540-58201-0_65 citation: Corradini, Flavio and De Nicola, Rocco Distribution and Locality of Concurrent Systems. In: Automata, Languages and Programming (ICALP 1994). Lecture Notes in Computer Science, 820 . Springer, pp. 154-165. ISBN 3-540-58201-0 (1994)