The m-calculus: a higher-order distributed process calculus
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
On distributability in process calculi
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Hi-index | 0.00 |