The following pages link to (Q3738540):
Displaying 33 items.
- Positive Dedalus programs tolerate non-causality (Q2453541) (← links)
- An optimal self-stabilizing strarvation-free alternator (Q2575834) (← links)
- On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Fair Π (Q2866341) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- Quantitative Analysis under Fairness Constraints (Q3648696) (← links)
- On-the-fly Emptiness Check of Transition-Based Streett Automata (Q3648699) (← links)
- Fairness and regularity for SCCS processes (Q3816967) (← links)
- (Q4222750) (← links)
- Putting logic-based distributed systems on stable grounds (Q4593035) (← links)
- Divergence and fair testing (Q4645218) (← links)
- Generalisations of disjunctive sequences (Q4666941) (← links)
- (Q5014797) (← links)
- (Q5020945) (← links)
- (Q5020946) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- On proving properties of completion strategies (Q5055777) (← links)
- Fairness and hyperfairness (Q5137907) (← links)
- A decision-theoretic approach to reliable message delivery (Q5138345) (← links)
- Using counterfactuals in knowledge-based programming (Q5138508) (← links)
- An Algebraic Approach to Refinement with Fair Choice (Q5403463) (← links)
- The semantics of priority and fairness in occam (Q5887515) (← links)
- Semantic models for total correctness and fairness (Q5887518) (← links)
- A category-theoretic semantics for unbounded indeterminacy (Q5887523) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- Fast and succinct population protocols for Presburger arithmetic (Q6142599) (← links)
- Automated temporal reasoning about reactive systems (Q6560389) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- Fast symbolic algorithms for omega-regular games under strong transition fairness (Q6566589) (← links)
- A logical account of subtyping for session types (Q6615560) (← links)
