The temporal semantics of concurrent programs
From MaRDI portal
Cites work
- A comparison of two synchronizing concepts
- A hard act to follow
- A proof method for cyclic programs
- An algebraic study of Diodorean modal systems
- An axiomatic proof technique for parallel programs
- Formal verification of parallel programs
- scientific article; zbMATH DE number 3469994 (Why is no real title available?)
- scientific article; zbMATH DE number 3566126 (Why is no real title available?)
- scientific article; zbMATH DE number 3229502 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- scientific article; zbMATH DE number 3351182 (Why is no real title available?)
- LAR: A logic of algorithmic reasoning
- Modal Logics Between S 4 and S 5
- Properties of Programs and the First-Order Predicate Calculus
- Proving assertions about parallel programs
- Proving the Correctness of Multiprocess Programs
- Verifying properties of parallel programs
Cited in
(94)- Calculi for synchrony and asynchrony
- An approach to automating the verification of compact parallel coordination programs. I
- Ten years of Hoare's logic: A survey. II: Nondeterminism
- Non-standard algorithmic and dynamic logic
- The complementation problem for Büchi automata with applications to temporal logic
- Automata-theoretic techniques for modal logics of programs
- The power of temporal proofs
- Concurrent systems and inevitability
- Weak second order characterizations of various program verification systems
- Parallel algorithms for the single source shortest path problem
- Compositionality and bisimulation: A negative result
- A logic for reasoning about time and reliability
- Mathematical modal logic: A view of its evolution
- On relative and probabilistic finite counterability
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
- Computation tree measurement language (CTML)
- Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
- Syntax-directed model checking of sequential programs
- A fixpoint theory for non-monotonic parallelism
- Reasoning about time in the situation calculus
- Synthesis in presence of dynamic links
- Timed network games
- Back to the future: a fresh look at linear temporal logic
- Automata-driven partial order reduction and guided search for LTL model checking
- Alternative semantics for temporal logics
- Verification of concurrent programs: The automata-theoretic framework
- Compositional verification of asynchronous concurrent systems using CADP
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Ultraproducts and possible worlds semantics in institutions
- Model checking of pushdown systems for projection temporal logic
- Distributed breadth-first search LTL model checking
- A modular approach to defining and characterising notions of simulation
- Prime languages
- A formalization of programs in first-order logic with a discrete linear order
- Inductive and coinductive components of corecursive functions in Coq
- Reasoning About Substructures and Games
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
- Checking interval properties of computations
- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
- Model Checking LTL Formulae in RAISE with FDR
- Branching-Time Temporal Logics with Minimal Model Quantifiers
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
- Deductive verification of simple foraging robotic behaviours
- scientific article; zbMATH DE number 3898203 (Why is no real title available?)
- Church's Problem Revisited
- Reliability-aware automatic composition approach for web services
- Bounded semantics
- Decision procedures for a deontic logic modeling temporal inheritance of obligations
- Timed network games with clocks
- scientific article; zbMATH DE number 7455739 (Why is no real title available?)
- Multi-Valued Reasoning about Reactive Systems
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
- Appraising two decades of distributed computing theory research
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
- Model-Based Testing for Functional and Security Test Generation
- Model checking of biological systems
- Temporal logic programming
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Does “N+1 times” prove more programs correct than “N times”?
- Converting a Büchi alternating automaton to a usual nondeterministic one
- Taming strategy logic: non-recurrent fragments
- Fuzzy Halpern and Shoham's interval temporal logics
- Action and State Based Computation Tree Measurement Language and Algorithms
- A simple rewrite system for the normalization of linear temporal logic
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- The language of social software
- The complexity of LTL rational synthesis
- On the computational complexity of behavioral description-based web service composition
- The complexity of LTL rational synthesis
- Automated temporal reasoning about reactive systems
- (Heterogeneous) structured specifications in logics without interpolation
- A dynamic temporal logic for quality of service in choreographic models
- Synthesis with privacy against an observer
- Assumption/guarantee specifications in linear-time temporal logic
- Automata-theoretic characterisations of branching-time temporal logics
- Monotonicity characterizations of regular languages
- The complexity of traversing automata with current state uncertainty under \(\mathrm{LTL}_{f}\) constraints
- Synthesis with privacy against an observer
- Monotonicity characterizations of regular languages
- Efficient normalization of linear temporal logic
- A dynamic temporal logic for quality of service in choreographic models
- Modular model checking
- Game-theoretic simulation checking tool
- The temporal logic of branching time
- A generalized nexttime operator in temporal logic
- Checking timed Büchi automata emptiness efficiently
- Feature interaction detection by pairwise analysis of LTL properties -- A case study
- Question-guided stubborn set methods for state properties
- A semantics for concurrent separation logic
- Resources, concurrency, and local reasoning
- Specification of communicating processes: temporal logic versus refusals-based refinement
- Embedding finite automata within regular expressions
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Test generation from P systems using model checking
This page was built for publication: The temporal semantics of concurrent programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1143164)
