Invariance under stuttering in a temporal logic without the ``until operator

MaRDI QIDQ5450115zbMATH OpenFDO

Authors

Publication date 19 March 2008

zbMATH Keywords

propositional temporal logicinvariance under stutteringtemporal interpretationsspecification of concurrent system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Invariance under stuttering in a temporal logic of actions
• The Expressive Power of Temporal Logic of Actions
• A note on stutter-invariant PLTL
• scientific article; zbMATH DE number 2102709
• A note on a question of Peled and Wilke regarding stutter-invariant LTL

Cited in

(4)

• A note on stutter-invariant PLTL
• Invariance under stuttering in a temporal logic of actions
• Specification languages for stutter-invariant regular properties
• scientific article; zbMATH DE number 1948168 (Why is no real title available?)

This page was built for publication: Invariance under stuttering in a temporal logic without the ``until operator

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