Testing congruence for mobile processes
Journal of Computer Science and Technology
Pi-Congruences as CCS Equivalences
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Open Bisimulations on Chi Processes
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Bisimulation congruence of ℵ-calculus
Information and Computation
Theoretical Computer Science
A Modal Logic for π-Calculus and Model Checking Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Hi-index | 0.00 |