Communicating sequential processes
Communicating sequential processes
On the semantics of concurrency: partial orders and transition systems
The International Joint Conference on theory and practice of software development on TAPSOFT '87
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica
Some equivalence notions for concurrent systems. An overview
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Logics and Bisimulation Games for Concurrency, Causality and Conflict
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
| Hi-index | 0.89 |