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

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

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

(4)

• Topological aspects of traces
• On the Order Structure of Time Projection
• Comparison of Dual Orderings in Time II
• 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 Q4518436)