Finite State Verification for the Asynchronous pi-Calculus
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
From Active Names to π-calculus Rewriting Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |