Pi-Congruences as CCS Equivalences
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Complete inference systems for weak bisimulation equivalences in the π-calculus
Information and Computation
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |