From box algebra to interval temporal logic

DOI10.3233/FI-2019-1820MaRDI QIDQ5241413zbMATH OpenWikidataFDO

Authors Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben Moszkowski

Publication date 31 October 2019

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2019-1820

zbMATH Keywords

box algebracompositionequivalencegeneral synchronisationinterval temporal logicPetri netssemanticsstep sequence

Mathematics Subject Classification ID

Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Interval Temporal Logic Semantics of Box Algebra
• ITL semantics of composite Petri nets
• scientific article; zbMATH DE number 2086960
• Timed Petri nets and temporal linear logic
• A taxonomy of fairness and temporal logic problems for Petri nets

Cited in

(2)

• ITL semantics of composite Petri nets
• Interval Temporal Logic Semantics of Box Algebra

This page was built for publication: From box algebra to interval temporal logic

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