Publication:4207573
From MaRDI portal
zbMath0688.68024MaRDI QIDQ4207573
Publication date: 1988
03B45: Modal logic (including the logic of norms)
68Q65: Abstract data types; algebraic specification
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
68N99: Theory of software
Related Items
Compositional priority specification in real-time distributed systems., A calculus of durations, Formal timing analysis of distributed systems, Models for reactivity, A logic for reasoning about time and reliability, The power of the ``always operator in first-order temporal logic, Verification of reactive systems using temporal logic with clocks, Compositional verification of real-time systems with explicit clock temporal logic