A more complete TLA

DOI10.1007/3-540-48118-4_15MaRDI QIDQ4493899zbMATH OpenFDO

Authors Stephan Merz

Publication date 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48118-4_15

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
• An expressive extension of TLC (extended abstract)
• 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: A more complete TLA

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