Communication and concurrency
A calculus of mobile processes, II
Information and Computation
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model Checking Mobile Processes
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Compositional Proof Systems for Model Checking Infinite State Processes
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
| Hi-index | 0.00 |