Pages that link to "Item:Q1129259"
From MaRDI portal
The following pages link to A fixpoint approach to finite delay and fairness (Q1129259):
Displaying 8 items.
- Promptness and bounded fairness in concurrent and parameterized systems (Q784148) (← links)
- On Meije and SCCS: Infinite sum operators vs. non-guarded definitions (Q789888) (← links)
- Fair termination revisited - with delay (Q795499) (← links)
- On the minimal number of \(\times\) operators to model regularity in fair SCCS (Q1122986) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Semantics for finite delay (Q1392281) (← links)
- A logical process calculus (Q2842601) (← links)
- Boundedness, hierarchy of fairness, and communication networks with delay (Q4207557) (← links)