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. Inf. Comput., 79(3):210-256, December 1988.

Authors

Ron Koymans

This author has not been identified. Look up 'Ron Koymans' in Google

R. K. Shyamasundar

This author has not been identified. Look up 'R. K. Shyamasundar' in Google

Willem P. de Roever

This author has not been identified. Look up 'Willem P. de Roever' in Google

Rob Gerth

This author has not been identified. Look up 'Rob Gerth' in Google

S. Arun-Kumar

This author has not been identified. Look up 'S. Arun-Kumar' in Google