scientific article; zbMATH DE number 1337727

MaRDI QIDQ4264097zbMATH OpenFDO

Authors Girish S. Bhat, Doron Peled

Publication date 16 September 1999

zbMATH Keywords

concurrent programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Adding partial orders to linear temporal logic
• A partial order approach to branching time logic model checking.
• scientific article; zbMATH DE number 177840
• Proving partial order properties

Cited in

(5)

• A survey on temporal logics for specifying and verifying real-time systems
• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
• scientific article; zbMATH DE number 177840 (Why is no real title available?)
• Adding partial orders to linear temporal logic

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