Modal logics for mobile processes
- 14 June 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 114 (1) , 149-171
- https://doi.org/10.1016/0304-3975(93)90156-n
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- A calculus of mobile processes, IIInformation and Computation, 1992
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985