scientific article; zbMATH DE number 1487491

MaRDI QIDQ4493899zbMATH OpenFDO

Authors Stephan Merz

Publication date 1999

zbMATH Keywords

axiomatizationgeneralization of Lamport's Temporal Logic of Actionspropositional fragment

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 910717
• scientific article; zbMATH DE number 810108
• Invariance under stuttering in a temporal logic of actions
• On translations of temporal logic of actions into monadic second-order logic

Cited in

(9)

• On translations of temporal logic of actions into monadic second-order logic
• LTL over integer periodicity constraints
• scientific article; zbMATH DE number 1500557 (Why is no real title available?)
• scientific article; zbMATH DE number 810108 (Why is no real title available?)
• scientific article; zbMATH DE number 910717 (Why is no real title available?)
• Architectural_Design_Patterns
• A Definitional Encoding of TLA* in Isabelle/HOL
• Specification and refinement of mobile systems in MTLA and mobile UML
• Invariance under stuttering in a temporal logic of actions

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