A petri net semantics of a simple process algebra for mobility /
Devillers, R.
Klaudel, H.
Koutny, Maciej,1958-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Computing Science, University of Newcastle upon Tyne,
c2005.
"June 2005."
Includes bibliographical references.