Compositional Semantics for Real-time Distributed Computing.

Ron Koymans R. K. Shyamasundar Willem P. de Roever Rob Gerth S. Arun-Kumar Compositional Semantics for Real-time Distributed Computing. 167-189 1985 conf/lop/1985 Logic of Programs db/conf/lop/lop1985.html#KoymansSRGA85