Duration calculus. A formal approach to real-time systems.
From MaRDI portal
Publication:1428351
zbMath1071.68062MaRDI QIDQ1428351
Michael R. Hansen, Chaochen Zhou
Publication date: 28 March 2004
Published in: Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (43)
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ Convolution as a Unifying Concept ⋮ Verification of cooperating traffic agents ⋮ A duration calculus with neighborhood modalities ⋮ Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ Checking Integral Real-Time Automata for Extended Linear Duration Invariants ⋮ Towards an Algebra for Real-Time Programs ⋮ A separation theorem for discrete-time interval temporal logic ⋮ Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ An application of temporal projection to interleaving concurrency ⋮ Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations ⋮ On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders ⋮ Specification and optimal reactive synthesis of run-time enforcement shields ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Trace Analysis Using an Event-Driven Interval Temporal Logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Specification and verification of concurrent systems by causality and realizability ⋮ Catoids and modal convolution algebras ⋮ The quest for an adequate semantic basis of dense-time metric temporal logic ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Unnamed Item ⋮ Algebraic neighbourhood logic ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Model checking duration calculus: a practical approach ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Manifest domains: analysis and description ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ Compositional reasoning using intervals and time reversal ⋮ A practical approach to model checking duration calculus using Presburger arithmetic ⋮ Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders ⋮ On the completeness and decidability of duration calculus with iteration ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ Reasoning about goal-directed real-time teleo-reactive programs ⋮ A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus ⋮ Logical Interpolation and Projection onto State in the Duration Calculus ⋮ Prompt Interval Temporal Logic ⋮ On coarser interval temporal logics ⋮ Verification of Linear Duration Invariants by Model Checking CTL Properties ⋮ Decidability of a Hybrid Duration Calculus ⋮ Automatic Verification of Combined Specifications: An Overview ⋮ On Verification of Linear Occurrence Properties of Real-Time Systems
This page was built for publication: Duration calculus. A formal approach to real-time systems.