scientific article; zbMATH DE number 1455625

MaRDI QIDQ4485146zbMATH OpenFDO

Authors Marta Kwiatkowska, Christel Baier

Publication date 5 June 2000

zbMATH Keywords

partial order modelstemporal logic

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited in

(10)

• A hierarchical and modular control architecture for sequential behaviours
• Deadness and how to disprove liveness in hybrid dynamical systems
• A temporal splitting theorem for chronological spaces
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• scientific article; zbMATH DE number 17700 (Why is no real title available?)
• scientific article; zbMATH DE number 1059326 (Why is no real title available?)
• scientific article; zbMATH DE number 1107651 (Why is no real title available?)
• On the Order Structure of Time Projection
• scientific article; zbMATH DE number 1536568 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2003

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 Q4485146)