Author： Merro M. Kleist J. Nestmann U.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.177, Iss.2, 2002-09, pp. : 195-241
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Aliasing Models for Mobile Objects
By Nestmann U. Hüttel H. Kleist J. Merro M.
Information and Computation, Vol. 175, Iss. 1, 2002-05 ,pp. :
Access to resources
Recommend
Congestion of point-to-point mobile objects
By Maniccam S.
Physica A, Vol. 331, Iss. 3, 2004-01 ,pp. :
Model Checking Mobile Processes
By Dam M.
Information and Computation, Vol. 129, Iss. 1, 1996-08 ,pp. :
Information and Computation, Vol. 179, Iss. 2, 2002-12 ,pp. :