ESTL: A Temporal Logic for Events and States

DOI10.1007/3-540-69108-1_20MaRDI QIDQ6487400zbMATH OpenFDO

Authors Ekkart Kindler, Tobias Vesper

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-69108-1_20

Mathematics Subject Classification ID

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

Recommendations

• Temporal logic and state systems
• scientific article; zbMATH DE number 218548
• Temporal logic and fair discrete systems
• ITL semantics of composite Petri nets
• Model checking for event graphs and an event temporal logic

Cites work

• Computer science today. Recent trends and developments
• ESTL: A Temporal Logic for Events and States
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 1059323 (Why is no real title available?)
• scientific article; zbMATH DE number 1106703 (Why is no real title available?)
• Logics and decidability for labelled pre- and partially ordered Kripke structures
• Petri net based verification of distributed algorithms: An example
• Petri nets and algebraic specifications
• The non-sequential behaviour of Petri nets

Cited in

(7)

• Operational semantics for Petri net components
• scientific article; zbMATH DE number 4108727 (Why is no real title available?)
• scientific article; zbMATH DE number 218548 (Why is no real title available?)
• Compositional specification in rewriting logic
• A rewriting-based model checker for the linear temporal logic of rewriting
• Model checking for event graphs and an event temporal logic
• ESTL: A Temporal Logic for Events and States

This page was built for publication: ESTL: A Temporal Logic for Events and States

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