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)