Pages that link to "Item:Q1064053"
From MaRDI portal
The following pages link to Script: A communication abstraction mechanism and its verification (Q1064053):
Displayed 6 items.
- A process-calculus-based abstraction for coordinating multi-agent groups (Q1127521) (← links)
- Some impossibility results in interprocess synchronization (Q1261111) (← links)
- Fairness and hyperfairness in multi-party interactions (Q1261113) (← links)
- Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability (Q1575646) (← links)
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions (Q1813353) (← links)
- On fairness notions in distributed systems. I: A characterization of implementability (Q1854419) (← links)