scientific article; zbMATH DE number 1536568

MaRDI QIDQ4518436zbMATH OpenFDO

Authors Marta Kwiatkowska, Doron Peled, Wojciech Penczek

Publication date 28 November 2000

Mathematics Subject Classification ID

Temporal logic (03B44) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1059326
• scientific article; zbMATH DE number 1455625
• scientific article; zbMATH DE number 177840
• Proving partial order properties
• Characterization of temporal property classes

Cited in

(6)

• scientific article; zbMATH DE number 1059326 (Why is no real title available?)
• On the Order Structure of Time Projection
• scientific article; zbMATH DE number 1455625 (Why is no real title available?)
• Topological aspects of traces
• Mathematical Foundations of Computer Science 2003
• Comparison of Dual Orderings in Time II

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