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