A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
A fully abstract model for the π-calculus
Information and Computation
A Fully-Abstract Model for the p-calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A semantic theory for value-passing processes based on the late approach
Information and Computation
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
The equational theory of prebisimilarity over basic CCS with divergence
Information Processing Letters
Similarity quotients as final coalgebras
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
| Hi-index | 0.00 |