A calculus of mobile processes, II
- 1 September 1992
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 100 (1), 41-77
- https://doi.org/10.1016/0890-5401(92)90009-5
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A calculus of mobile processes, IInformation and Computation, 1992