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