Axiomatisation and decidability of multi-dimensional Duration Calculus

DOI10.1016/j.ic.2006.08.005zbMath1109.68069OpenAlexW2003825675MaRDI QIDQ868026

N. E. Zubov

Publication date: 19 February 2007

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2006.08.005

zbMATH Keywords

real-time systemstemporal logicmobile systemsspatial logicDuration Calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Proving Safety of Traffic Manoeuvres on Country Roads

Uses Software

• Kronos
• SLMC
• Uppaal
• MONA
• UniForM
• DCVALID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hybrid systems
• A multiprocess network logic with temporal and spatial modalities
• A calculus of durations
• A theory of timed automata
• Symbolic model checking for real-time systems
• Duration calculus: Logical foundations
• Many-dimensional modal logics: theory and applications
• Duration calculus. A formal approach to real-time systems.
• Mobile ambients
• PLC-automata: A new class of implementable real-time automata
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• Model-checking dense-time duration calculus
• Model checking mobile ambients
• A spatial logic for concurrency. I
• Hybrid languages
• A really temporal logic
• Anytime, anywhere
• Formal Methods for the Design of Real-Time Systems
• Theoretical Aspects of Computing - ICTAC 2004
• Lectures on Concurrency and Petri Nets
• On axiomatizability within a system

This page was built for publication: Axiomatisation and decidability of multi-dimensional Duration Calculus