Reasoning about reactive systems
From MaRDI portal
Publication:2763546
zbMATH Open0982.68068MaRDI QIDQ2763546
Publication date: 16 January 2002
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (4)
Modeling data-intensive reactive systems with relational transition systems ⋮ Reactive Systems ⋮ Reasoning about goal-directed real-time teleo-reactive programs ⋮ Barbed Semantics for Open Reactive Systems
This page was built for publication: Reasoning about reactive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763546)
