scientific article; zbMATH DE number 3972158
From MaRDI portal
Publication:3738540
Recommendations
Cited in
(94)- Nonexpressibility of fairness and signaling
- Starvation-free mutual exclusion with semaphores
- A compositional axiomatization of statecharts
- Symmetry breaking in distributed networks
- Finite acceptance of infinite words
- A Temporal Logic of Normative Systems
- The semantics of priority and fairness in occam
- Semantic models for total correctness and fairness
- Duality and the completeness of the modal \(\mu\)-calculus
- scientific article; zbMATH DE number 1008482 (Why is no real title available?)
- Semantic models for total correctness and fairness
- Quantitative analysis under fairness constraints
- Semantics for finite delay
- Mutex needs fairness
- Quantitatively fair scheduling
- Applications and Theory of Petri Nets 2004
- The expressive power of indeterminate dataflow primitives
- On Stubborn Sets in the Verification of Linear Time Temporal Properties
- The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)
- Interleaving set temporal logic
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
- A process algebraic view of input/output automata
- Computable concurrent processes
- On the logic of UNITY
- scientific article; zbMATH DE number 3846854 (Why is no real title available?)
- Inference of ranking functions for proving temporal properties by abstract interpretation
- On control of systems modelled as deterministic Rabin automata
- Probabilistic termination versus fair termination
- Complete proof rules for strong fairness and strong extreme fairness
- On the verification of qualitative properties of probabilistic processes under fairness constraints.
- On proving properties of completion strategies
- Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm
- Fairness in context-free grammars under every choice-strategy
- scientific article; zbMATH DE number 3890705 (Why is no real title available?)
- scientific article; zbMATH DE number 7453964 (Why is no real title available?)
- A taxonomy of fairness and temporal logic problems for Petri nets
- Verification of concurrent programs: The automata-theoretic framework
- An algebraic approach to refinement with fair choice
- Alternating-time stream logic for multi-agent systems
- \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
- A fixpoint approach to finite delay and fairness
- An introduction to the regular theory of fairness
- Infinite trees, markings, and well-foundedness
- On verifying that a concurrent program satisfies a nondeterministic specification
- Deadlock and fairness in morphisms of transition systems
- Termination of just/fair computations in term rewriting
- Divergence and fair testing
- Fair termination for parameterized probabilistic concurrent systems
- A compositional framework for fault tolerance by specification transformation
- Fairness and hyperfairness
- Fairness and conspiracies
- Fairness and communication-based semantics for session-typed languages
- A complete rule for equifair termination
- Completing the temporal picture
- Proving partial order properties
- Soundness and completeness proofs by coinductive methods
- Fairness, distances and degrees
- Strong fairness and ultra metrics
- On conditions for the liveness of weakly persistent nets
- Safety, liveness and fairness in temporal logic
- Fairness and partial order semantics
- On the border of causality: contact and confusion
- scientific article; zbMATH DE number 4037221 (Why is no real title available?)
- Putting logic-based distributed systems on stable grounds
- An optimal self-stabilizing strarvation-free alternator
- A self-stabilizing algorithm for strong fairness
- Using counterfactuals in knowledge-based programming
- scientific article; zbMATH DE number 1231450 (Why is no real title available?)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
- Probabilistic total store ordering
- Fast and succinct population protocols for Presburger arithmetic
- A logical account of subtyping for session types
- Generalisations of disjunctive sequences
- Fifty years of Hoare's logic
- Analysing mutual exclusion using process algebra with signals
- Fair decisions
- On-the-fly emptiness check of transition-based Streett automata
- Strong fairness and full abstraction for communicating processes
- Keep it fair: equivalence and composition
- Modelling mutual exclusion in a process algebra with time-outs
- Fairness and regularity for SCCS processes
- A category-theoretic semantics for unbounded indeterminacy
- Model checking with fairness assumptions using PAT
- Automata, Languages and Programming
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
- Positive Dedalus programs tolerate non-causality
- Fair \(\pi\)
- Fast symbolic algorithms for omega-regular games under strong transition fairness
- Liminf progress measures
- scientific article; zbMATH DE number 7453963 (Why is no real title available?)
- A decision-theoretic approach to reliable message delivery
- Fairness and control in multi-agent systems
- Automated temporal reasoning about reactive systems
- Fair termination of multiparty sessions
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 Q3738540)
