scientific article; zbMATH DE number 3901996
From MaRDI portal
Publication:3680239
zbMATH Open0565.68003MaRDI QIDQ3680239FDOQ3680239
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
CSPsemanticstemporal logicTempurafirst-order temporal logiclogic programming languageassertion languageInterval Temporal Logic
Cited In (46)
- A complete proof system for propositional projection temporal logic
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Axiomatic semantics of projection temporal logic programs
- Temporal logic programming
- Connection between logical and algebraic approaches to concurrent systems
- A Road Map of Interval Temporal Logics and Duration Calculi
- Multi-dimensional logic programming: theoretical foundations
- Some Fixed-Point Issues in PPTL
- Title not available (Why is that?)
- Induction in the timed interval calculus
- Proving linearizability with temporal logic
- Title not available (Why is that?)
- Balancing expressiveness in formal approaches to concurrency
- On the completeness and decidability of duration calculus with iteration
- Linear time-dependent constraints programming with MSVL
- A timed concurrent constraint language.
- Programming in metric temporal logic
- 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
- Foundations of linear-time logic programming
- Duration calculus: Logical foundations
- Operational semantics of Framed Tempura
- Temporal logic programs with variables
- Defining, analysing and implementing communication protocols using attribute grammars
- A decision procedure for propositional projection temporal logic with infinite models
- An overview of transaction logic
- MetateM: An introduction
- Distributed processes and location failures
- Formal Verification of a Lock-Free Stack with Hazard Pointers
- Reversibility of Executable Interval Temporal Logic Specifications
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
- Title not available (Why is that?)
- Verification of distributed systems with the axiomatic system of MSVL
- Title not available (Why is that?)
- An application of temporal projection to interleaving concurrency
- TABLEAUX: A general theorem prover for modal logics
- Specifying and reasoning about shared-variable concurrency
- A timeband framework for modelling real-time systems
- Index set expressions can represent temporal logic formulas
- Title not available (Why is that?)
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering
- An infinitary encoding of temporal equilibrium logic
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus
- Logical Interpolation and Projection onto State in the Duration Calculus
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)