Compositional priority specification in real-time distributed systems.

DOI10.1007/BF02811339zbMath1075.68606OpenAlexW2018429248MaRDI QIDQ5955750

No author found.

Publication date: 18 February 2002

Published in: Sādhanā (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02811339

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Uses Software

• Ada95

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Priorities in process algebras
• Compositional semantics for real-time distributed computing
• A calculus of communicating systems
• Communicating sequential processes