Compositional semantics for real-time distributed computing

DOI10.1016/0890-5401(88)90020-XzbMath0669.68055OpenAlexW2076494576MaRDI QIDQ1119027

S. H. Smith

Publication date: 1988

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(88)90020-x

zbMATH Keywords

denotational semantics for a real-time distributed language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (9)

Real time process algebra ⋮ Compositional verification of real-time systems with explicit clock temporal logic ⋮ A Denotational Semantics for Parameterised Networks of Synchronised Automata ⋮ A compositional axiomatization of statecharts ⋮ A Bibliography of Willem-Paul de Roever ⋮ A Small Step for Mankind ⋮ A Proof System for a PGAS Language ⋮ An introduction to compositional methods for concurrency and their application to real-time. ⋮ Compositional priority specification in real-time distributed systems.

Uses Software

• Ada95
• Esterel

Cites Work

• A linear-history semantics for languages for distributed programming
• Calculi for synchrony and asynchrony
• A more complete model of communicating processes
• Optimal precision in the presence of uncertainty
• Statecharts: a visual formalism for complex systems
• Towards a formal description of Ada
• An analytical description of CHILL, the CCITT high level language
• A Theory of Communicating Sequential Processes
• Proofs of Networks of Processes
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compositional semantics for real-time distributed computing