Pages that link to "Item:Q1261113"
From MaRDI portal
The following pages link to Fairness and hyperfairness in multi-party interactions (Q1261113):
Displaying 7 items.
- A distributed synchronization scheme for fair multi-process handshakes (Q910197) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- On equivalence-completions of fairness assumptions (Q1205189) (← links)
- On fairness notions in distributed systems. I: A characterization of implementability (Q1854419) (← links)
- Generating non-conspiratorial executions (Q2379964) (← links)
- Model checking with fairness assumptions using PAT (Q2418662) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
