Axiomatisation and decidability of multi-dimensional Duration Calculus
type: Item
instance of: scholarly article
title: Axiomatisation and decidability of multi-dimensional Duration Calculus
zbMATH Open document ID: 1109.68069
author: N. E. Zubov
published in: Information and Computation
publication date: 2007-02-19T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5128122
zbMATH Keywords: real-time systems
zbMATH Keywords: mobile systems
zbMATH Keywords: spatial logic
zbMATH Keywords: temporal logic
zbMATH Keywords: Duration Calculus
describes a project that uses: Uppaal
describes a project that uses: UniForM
describes a project that uses: DCVALID
describes a project that uses: Kronos
describes a project that uses: SLMC
describes a project that uses: MONA
MaRDI profile type: Publication
full work available at URL: j.ic.2006.08.005
OpenAlex ID: W2003825675
cites work: A theory of timed automata
cites work: A really temporal logic
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Lectures on Concurrency and Petri Nets
cites work: Multi-dimensional modal logic as a framework for spatio-temporal reasoning
cites work: Hybrid languages
cites work: A spatial logic for concurrency. I
cites work: Mobile ambients
cites work: Anytime, anywhere
cites work: A calculus of durations
cites work: Hybrid systems
cites work: Q4783317
cites work: Q2769429
cites work: Model checking mobile ambients
cites work: On axiomatizability within a system
cites work: Q4509995
cites work: PLC-automata: A new class of implementable real-time automata
cites work: Model-checking dense-time duration calculus
cites work: Q4217280
cites work: Many-dimensional modal logics: theory and applications
cites work: Duration calculus: Logical foundations
cites work: Duration calculus. A formal approach to real-time systems.
cites work: Symbolic model checking for real-time systems
cites work: Q4417820
cites work: Q4248252
cites work: A multiprocess network logic with temporal and spatial modalities
cites work: Q5526189
cites work: Theoretical Aspects of Computing - ICTAC 2004
DOI: 10.1016/J.IC.2006.08.005
description: scientific article; zbMATH DE number 5128122