Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Compositional semantics for real-time distributed computing

198549 citationsBook Chapter

Authors

Ron Koymans · Radboud University Nijmegen

R. K. Shyamasundar · Tata Institute of Fundamental Research

Willem P. de Roever · Utrecht University

Rob Gerth · Utrecht University

S. Arunkumar · Tata Institute of Fundamental Research

Topics & Keywords

Distributed systems and fault tolerance Formal Methods in Verification Logic, programming, and type systems

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/3-540-15648-8_14

Field-Weighted Citation Impact: 14.23

Compositional semantics for real-time distributed computing | Researchclopedia