scientific article; zbMATH DE number 177246

zbMATH Open0786.68070MaRDI QIDQ4037097FDOQ4037097

Authors: Howard Wong-Toi, David L. Dill 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 177523
• Verification and synthesis of reactive programs
• Synthesis of Asynchronous Systems
• scientific article; zbMATH DE number 1497853
• Synthesis for temporal logic over the reals

zbMATH Keywords

real-time scheduling\(\omega\)-regular languagesreal-time processestemporal specifications of reactive systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (10)

• Effective strategies for enumeration games
• Synthesis of communicating process skeletons from temporal-spatial logic specifications
• Supervisory control and reactive synthesis: a comparative introduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• From the Specification to the Scheduling of Time-Dependent Systems
• Title not available (Why is that?)
• Automatic synthesis of a subclass of schedulers in timed systems.
• Synthesis for temporal logic over the reals
• Synthesizing synchronous systems by static scheduling in space-time

This page was built for publication:

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