On the Expressive Power of Restriction and Priorities in CCS with Replication
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Decidability of behavioral equivalences in process calculi with name scoping
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
| Hi-index | 0.00 |