relation: http://eprints.imtlucca.it/368/
title: Distribution and Locality of Concurrent Systems
creator: Corradini, Flavio
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Abiteboul, Serge
contributor: Shamir, Eli
date: 1994
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/3-540-58201-0_65
relation: 10.1007/3-540-58201-0_65