Reasoning about reactive systems

MaRDI QIDQ2763546zbMATH OpenFDO

Authors Kim Sunesen

Publication date 16 January 2002

zbMATH Keywords

reactive systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 1476492
• Combining aspects of reactive systems
• Reactive Systems
• A practical theory of reactive systems. Incremental modeling of dynamic behaviors.
• Analyzing real-time systems: Theory and tools

Cited in

(9)

• Modeling data-intensive reactive systems with relational transition systems
• Barbed Semantics for Open Reactive Systems
• scientific article; zbMATH DE number 1476492 (Why is no real title available?)
• scientific article; zbMATH DE number 2090553 (Why is no real title available?)
• Reactive Systems
• Combining aspects of reactive systems
• Synthesizing reactive systems from hyperproperties
• Automated temporal reasoning about reactive systems
• Reasoning about goal-directed real-time teleo-reactive programs

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)