An application of temporal projection to interleaving concurrency
From MaRDI portal
Recommendations
- An application of temporal projection to interleaving concurrency
- scientific article; zbMATH DE number 1189099
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Interleaving set temporal logic
- A Complete Proof System for First-order Interval Temporal Logic with Projection
Cites work
- A calculus of durations
- A complete axiom system for propositional interval temporal logic with infinite time
- A Complete Proof System for First-order Interval Temporal Logic with Projection
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
- A partial approach to model checking
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus
- A stubborn attack on state explosion
- An application of temporal projection to interleaving concurrency
- Balancing expressiveness in formal approaches to concurrency
- Combining partial-order reductions with on-the-fly model-checking.
- Compositional reasoning using intervals and time reversal
- Concurrency verification. Introduction to compositional and noncompositional methods
- Deterministic regular expressions with interleaving
- Duration calculus. A formal approach to real-time systems.
- First-order definable languages
- Formal verification of parallel programs
- Framed temporal logic programming
- Functional specification of hardware via temporal logic
- scientific article; zbMATH DE number 1670826 (Why is no real title available?)
- scientific article; zbMATH DE number 3848604 (Why is no real title available?)
- scientific article; zbMATH DE number 3862427 (Why is no real title available?)
- scientific article; zbMATH DE number 3901996 (Why is no real title available?)
- scientific article; zbMATH DE number 3926215 (Why is no real title available?)
- scientific article; zbMATH DE number 3940713 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 47171 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 2038760 (Why is no real title available?)
- scientific article; zbMATH DE number 1487495 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Interactive verification of concurrent systems using symbolic execution
- Interconnections between classes of sequentially compositional temporal formulas
- Interleaving set temporal logic
- Logical Interpolation and Projection onto State in the Duration Calculus
- Model checking
- Myths about the mutual exclusion problem
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Prefix and projection onto state in duration calculus
- Proving linearizability with temporal logic
- Real-Time Systems
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Shuffle languages, Petri nets, and context-sensitive grammars
- Specification languages for stutter-invariant regular properties
- Specification-oriented semantics for communicating processes
- Stutter-invariant temporal properties are expressible without the next-time operator
- Succinctness of regular expressions with interleaving, intersection and counting
- Tentative steps toward a development method for interfering programs
- The equational theory of pomsets
- Using partial orders for the efficient verification of deadlock freedom and safety properties
- Verification of distributed programs using representative interleaving sequences
Cited in
(6)- A temporal programming model with atomic blocks based on projection temporal logic
- Interleaving set temporal logic
- An application of temporal projection to interleaving concurrency
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
- Applications of discrete-time interval-based temporal separation
This page was built for publication: An application of temporal projection to interleaving concurrency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2403529)
