Trace and testing equivalence on asynchronous processes
Information and Computation
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
Hi-index | 0.00 |