Robin Milner
-
Towards a new conceptual framework for the modelling of dynamically distributed systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods