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

198864 citationsJournal Articlegreen Open Access

Authors

Ron Koymans · Eindhoven University of Technology

R. K. Shyamasundar · Tata Institute of Fundamental Research

Willem P. de Roever · Eindhoven University of Technology

Rob Gerth · Eindhoven University of Technology

S. Arun-Kumar · Tata Institute of Fundamental Research

Topics & Keywords

Formal Methods in Verification Distributed systems and fault tolerance Petri Nets in System Modeling

Publication Details

Published in: Information and Computation

Volume 79, Issue 3, pp. 210-256

DOI: 10.1016/0890-5401(88)90020-x

Field-Weighted Citation Impact: 13.79

Compositional semantics for real-time distributed computing | Researchclopedia