Compositional Semantics for Real-time Distributed Computing

• Authors:

• Ron Koymans;R. K. Shyamasundar;Willem P. de Roever;Rob Gerth;S. Arun-Kumar

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the Conference on Logic of Programs
• Year:
• 1985