Communication and concurrency
Process algebra
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
A Discipline of Programming
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Unifying lazy and strict computations
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
| Hi-index | 0.00 |