Basic process algebra with deadlocking states
Theoretical Computer Science
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
A characterization of regular expressions under bisimulation
Journal of the ACM (JACM)
Type abstractions of name-passing processes
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Advanced mechanisms for service composition, query and discovery
Rigorous software engineering for service-oriented systems
Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes
Fundamenta Informaticae
| Hi-index | 0.00 |