Duration calculus: Logical foundations
From MaRDI portal
Recommendations
- Duration calculus. A formal approach to real-time systems.
- Theoretical Aspects of Computing - ICTAC 2004
- Advanced features of duration calculus and their applications in sequential hybrid programs
- Theoretical Aspects of Computing - ICTAC 2004
- Real-time systems development with duration calculi: an overview.
Cites work
- scientific article; zbMATH DE number 995939 (Why is no real title available?)
- scientific article; zbMATH DE number 3901996 (Why is no real title available?)
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 176728 (Why is no real title available?)
- scientific article; zbMATH DE number 3557186 (Why is no real title available?)
- scientific article; zbMATH DE number 1302029 (Why is no real title available?)
- scientific article; zbMATH DE number 512815 (Why is no real title available?)
- scientific article; zbMATH DE number 1023673 (Why is no real title available?)
- scientific article; zbMATH DE number 744075 (Why is no real title available?)
- scientific article; zbMATH DE number 3310089 (Why is no real title available?)
- A Modal Logic for Chopping Intervals
- A calculus of durations
- Decidable integration graphs.
- Expressiveness and completeness of an interval tense logic
- Finite divergence
- Hybrid systems
- Interval semantics for tense logic: Some remarks
- Intervals and tenses
- Maintaining knowledge about temporal intervals
- Model-checking discrete duration calculus
- On the calculus of relations
- Probabilistic duration calculus for continuous time
- Sequential calculus
- Specifying message passing and time-critical systems with temporal logic
- The benefits of relaxing punctuality
- Towards a general theory of action and time
Cited in
(43)- On the completeness and decidability of duration calculus with iteration
- Towards a denotational semantics of timed RSL using duration calculus
- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
- Induction in the timed interval calculus
- Simulating polyadic modal logics by monadic ones
- A calculus of durations
- A duration calculus with infinite intervals
- Formal fault tree analysis -- practical experiences
- On Sampling Abstraction of Continuous Time Logic with Durations
- Interval duration logic: expressiveness and decidability
- Specification and verification of multimedia synchronization in duration calculus
- scientific article; zbMATH DE number 1670495 (Why is no real title available?)
- scientific article; zbMATH DE number 1950253 (Why is no real title available?)
- scientific article; zbMATH DE number 1543326 (Why is no real title available?)
- A generic logical-temporal performance analysis method for complex systems
- Unifying proof methodologies of duration calculus and timed linear temporal logic
- scientific article; zbMATH DE number 2079807 (Why is no real title available?)
- Compositional reasoning using intervals and time reversal
- Guest editors' preface to special issue on interval temporal logics
- Logical Interpolation and Projection onto State in the Duration Calculus
- A Road Map of Interval Temporal Logics and Duration Calculi
- Theoretical Aspects of Computing – ICTAC 2005
- Axiomatic semantics of projection temporal logic programs
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- Non-elementary lower bound for Propositional Duration Calculus
- A Theory of Duration Calculus with Application
- All those duration calculi: an integrated approach
- Real-time systems development with duration calculi: an overview.
- Hybrid metric propositional neighborhood logics with interval length binders
- Duration calculus. A formal approach to real-time systems.
- An intuitive formal proof for deadline driven scheduler
- Advanced features of duration calculus and their applications in sequential hybrid programs
- Decidability of a hybrid duration calculus
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Theoretical Aspects of Computing - ICTAC 2004
- A duration calculus with neighborhood modalities.
- A Road Map of Interval Temporal Logics and Duration Calculi
- Theoretical Aspects of Computing - ICTAC 2004
- PLC-automata: A new class of implementable real-time automata
- Formalising scheduling theories in duration calculus
- A temporal logic for successive events
- Expressive completeness of duration calculus.
- Assessing component impairing at mission level
This page was built for publication: Duration calculus: Logical foundations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377324)
