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

zbMATH Open1135.68034MaRDI QIDQ5450115FDOQ5450115

Authors:

Publication date: 19 March 2008

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

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)

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
• Title not available (Why is that?)

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)