The following pages link to (Q3680239):
Displayed 39 items.
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- Temporal logic programming (Q582280) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- Defining, analysing and implementing communication protocols using attribute grammars (Q919803) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- An overview of transaction logic (Q1341707) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Induction in the timed interval calculus (Q1399964) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Index set expressions can represent temporal logic formulas (Q2317353) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering (Q2452758) (← links)
- A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
- Some Fixed-Point Issues in PPTL (Q2842634) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
- Connection between logical and algebraic approaches to concurrent systems (Q3060196) (← links)
- Formal Verification of a Lock-Free Stack with Hazard Pointers (Q3105753) (← links)
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic (Q3643268) (← links)
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus (Q3643269) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- Reversibility of Executable Interval Temporal Logic Specifications (Q5162611) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
- Distributed processes and location failures (Q5958774) (← links)