Compositional priority specification in real-time distributed systems.
From MaRDI portal
Publication:5955750
DOI10.1007/BF02811339zbMath1075.68606MaRDI QIDQ5955750
No author found.
Publication date: 18 February 2002
Published in: Sādhanā (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
Uses Software
Cites Work