TY  - CHAP
EP  - 165
SP  - 154
ID  - eprints368
Y1  - 1994///
SN  - 3-540-58201-0
T2  - Automata, Languages and Programming (ICALP 1994)
AV  - none
UR  - http://dx.doi.org/10.1007/3-540-58201-0_65
T3  - Lecture Notes in Computer Science
PB  - Springer
M1  - 820
ED  - Abiteboul, Serge
ED  - Shamir, Eli
A1  - Corradini, Flavio
A1  - De Nicola, Rocco
TI  - Distribution and Locality of Concurrent Systems
N2  - 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.
ER  -