A calculus of higher order communicating systems
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A bulk-synchronous parallel process algebra
Computer Languages, Systems and Structures
On the statistical thermodynamics of reversible communicating processes
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A theory for observational fault tolerance
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
| Hi-index | 0.00 |