Compositional priority specification in real-time distributed systems.

DOI10.1007/BF02811339MaRDI QIDQ5955750zbMATH OpenOpenAlexFDO

Authors R. K. Shyamasundar, L. Y. Liu

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, https://www.ias.ac.in/describe/article/sadh/017/01/0075-0093

Mathematics Subject Classification ID

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

Cites work

• A calculus of communicating systems
• Communicating sequential processes
• Compositional semantics for real-time distributed computing
• scientific article; zbMATH DE number 3902017 (Why is no real title available?)
• scientific article; zbMATH DE number 3902019 (Why is no real title available?)
• scientific article; zbMATH DE number 4128370 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• Priorities in process algebras

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: Compositional priority specification in real-time distributed systems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5955750)