A hierarchy of partial order temporal properties

DOI10.1007/BFB0014001MaRDI QIDQ4518436zbMATH OpenFDO

Authors Marta Kwiatkowska, Doron Peled, Wojciech Penczek

Publication date 28 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0014001

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
• Proving partial order liveness properties
• 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: A hierarchy of partial order temporal properties

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