Journal of the ACM (JACM)
Transition systems, infinitary languages and the semantics of uniform concurrency
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Toward program representation and program understanding using process algebras
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Domain equations for probabilistic processes
Mathematical Structures in Computer Science
| Hi-index | 0.01 |