De Nicola, Rocco and Pugliese, Rosario  Linda-based applicative and imperative process algebras.  Theoretical Computer Science, 238 (1-2).  pp. 389-437.  ISSN 0304-3975      (2000)