Corradini, Flavio and De Nicola, Rocco  Locality Based Semantics for Process Algebras.  Acta Informatica, 34 (4).  pp. 291-324.  ISSN 0001-5903      (1997)