Pierre America;Jaco De Bakker
-;-
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A complete axiomatic semantics of spawning
Distributed Computing