scientific article; zbMATH DE number 3901996
From MaRDI portal
Publication:3680239
Recommendations
Cited in
(47)- A complete proof system for propositional projection temporal logic
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus
- Logical Interpolation and Projection onto State in the Duration Calculus
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Temporal logic programming
- Axiomatic semantics of projection temporal logic programs
- Connection between logical and algebraic approaches to concurrent systems
- Multi-dimensional logic programming: theoretical foundations
- A Road Map of Interval Temporal Logics and Duration Calculi
- scientific article; zbMATH DE number 4128368 (Why is no real title available?)
- Induction in the timed interval calculus
- Proving linearizability with temporal logic
- scientific article; zbMATH DE number 4119670 (Why is no real title available?)
- Balancing expressiveness in formal approaches to concurrency
- On the completeness and decidability of duration calculus with iteration
- Linear time-dependent constraints programming with MSVL
- Formal verification of a lock-free stack with hazard pointers
- Programming in metric temporal logic
- A timed concurrent constraint language.
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
- A Road Map of Interval Temporal Logics and Duration Calculi
- Compositional reasoning using intervals and time reversal
- Guest editors' preface to special issue on interval temporal logics
- Duration calculus: Logical foundations
- Foundations of linear-time logic programming
- Operational semantics of Framed Tempura
- Defining, analysing and implementing communication protocols using attribute grammars
- Temporal logic programs with variables
- A decision procedure for propositional projection temporal logic with infinite models
- Online monitoring of metric temporal logic using sequential networks
- An overview of transaction logic
- MetateM: An introduction
- Distributed processes and location failures
- Verification of distributed systems with the axiomatic system of MSVL
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
- Reversibility of Executable Interval Temporal Logic Specifications
- scientific article; zbMATH DE number 4076583 (Why is no real title available?)
- scientific article; zbMATH DE number 1796144 (Why is no real title available?)
- An application of temporal projection to interleaving concurrency
- TABLEAUX: A general theorem prover for modal logics
- Some fixed-point issues in PPTL
- A timeband framework for modelling real-time systems
- Specifying and reasoning about shared-variable concurrency
- Index set expressions can represent temporal logic formulas
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering
- scientific article; zbMATH DE number 4082943 (Why is no real title available?)
- An infinitary encoding of temporal equilibrium logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3680239)
