Interval Temporal Logic Semantics of Box Algebra

DOI10.1007/978-3-319-04921-2_36MaRDI QIDQ5404934zbMATH OpenOpenAlexFDO

Authors Hanna Klaudel, Maciej Koutny, Zhenhua Duan

Publication date 31 March 2014

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://eprint.ncl.ac.uk/fulltext.aspx?url=190702/552DDCF1-C39C-4830-93E9-A562E4FD5F6B.pdf&pub_id=190702

zbMATH Keywords

equivalencesemanticscompositioninterval temporal logicPetri netstep sequencebox algebrageneral synchronisation

Mathematics Subject Classification ID

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

Recommendations

• From box algebra to interval temporal logic
• scientific article; zbMATH DE number 3889506
• scientific article; zbMATH DE number 6131597
• An algebraic approach to temporal logic
• scientific article; zbMATH DE number 5000355
• scientific article; zbMATH DE number 3862427
• A Road Map of Interval Temporal Logics and Duration Calculi
• On coarser interval temporal logics
• Intuitionistic linear temporal logics

Cited in

(3)

• From box algebra to interval temporal logic
• ITL semantics of composite Petri nets
• scientific article; zbMATH DE number 3924682 (Why is no real title available?)

This page was built for publication: Interval Temporal Logic Semantics of Box Algebra

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