scientific article; zbMATH DE number 1536568

zbMATH Open0949.68537MaRDI QIDQ4518436FDOQ4518436

Authors: Marta Kwiatkowska, Doron Peled, Wojciech Penczek 

Publication date: 28 November 2000

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

Recommendations

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

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)

Cited In (4)

• On the Order Structure of Time Projection
• Comparison of Dual Orderings in Time II
• Mathematical Foundations of Computer Science 2003
• Topological aspects of traces

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)