Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.216, Iss.1, 1999-03, pp. : 237-270
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
Locality and interleaving semantics in calculi for mobile processes
By Sangiorgi D.
Theoretical Computer Science, Vol. 155, Iss. 1, 1996-02 ,pp. :
Access to resources
Recommend
A uniform approach to true-concurrency and interleaving semantics for Petri nets
Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. :
Variations on mobile processes
By Fu Y.
Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. :