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
- A calculus of durations
- A Modal Logic for Chopping Intervals
- Decidable integration graphs.
- Expressiveness and completeness of an interval tense logic
- Finite divergence
- 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?)
- 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
(51)- Non-elementary lower bound for Propositional Duration Calculus
- A calculus of durations
- Decidability of mean value calculus
- Induction in the timed interval calculus
- Duration calculus. A formal approach to real-time systems.
- Specification and verification of multimedia synchronization in duration calculus
- PLC-automata: A new class of implementable real-time automata
- Expressive completeness of duration calculus.
- Unifying proof methodologies of duration calculus and timed linear temporal logic
- Assessing component impairing at mission level
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Guest editors' preface to special issue on interval temporal logics
- Compositional reasoning using intervals and time reversal
- scientific article; zbMATH DE number 1670495 (Why is no real title available?)
- Interval duration logic: expressiveness and decidability
- Decidability of a hybrid duration calculus
- A duration calculus with neighborhood modalities.
- Axiomatic semantics of projection temporal logic programs
- Simulating polyadic modal logics by monadic ones
- Formalising scheduling theories in duration calculus
- A Theory of Duration Calculus with Application
- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
- All those duration calculi: an integrated approach
- Logical Interpolation and Projection onto State in the Duration Calculus
- scientific article; zbMATH DE number 1231602 (Why is no real title available?)
- scientific article; zbMATH DE number 1301632 (Why is no real title available?)
- scientific article; zbMATH DE number 1337736 (Why is no real title available?)
- scientific article; zbMATH DE number 512949 (Why is no real title available?)
- scientific article; zbMATH DE number 1950253 (Why is no real title available?)
- scientific article; zbMATH DE number 2079807 (Why is no real title available?)
- scientific article; zbMATH DE number 1543326 (Why is no real title available?)
- Hybrid metric propositional neighborhood logics with interval length binders
- A duration calculus with infinite intervals
- Formal fault tree analysis -- practical experiences
- Theoretical Aspects of Computing – ICTAC 2005
- On the completeness and decidability of duration calculus with iteration
- Theoretical Aspects of Computing - ICTAC 2004
- Theoretical Aspects of Computing - ICTAC 2004
- On Sampling Abstraction of Continuous Time Logic with Durations
- Real-time systems development with duration calculi: an overview.
- A Road Map of Interval Temporal Logics and Duration Calculi
- A Road Map of Interval Temporal Logics and Duration Calculi
- Towards a denotational semantics of timed RSL using duration calculus
- An intuitive formal proof for deadline driven scheduler
- A generic logical-temporal performance analysis method for complex systems
- A temporal logic for successive events
- Metric temporal logic with durations
- An adequate first order interval logic
- Decomposing real-time specifications
- Advanced features of duration calculus and their applications in sequential hybrid programs
- Axiomatisation and decidability of multi-dimensional Duration Calculus
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)
