Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar. Compositional Semantics for Real-Time Distributed Computing. Inf. Comput., 79(3):210-256, December 1988.
@article{KoymansSRGA88,
title = {Compositional Semantics for Real-Time Distributed Computing},
author = {Ron Koymans and R. K. Shyamasundar and Willem P. de Roever and Rob Gerth and S. Arun-Kumar},
year = {1988},
month = {December},
tags = {semantics, composition},
researchr = {https://researchr.org/publication/KoymansSRGA88},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {79},
number = {3},
pages = {210-256},
}