The following pages link to (Q2738289):
Displayed 11 items.
- A distributed resource allocation algorithm for many processes (Q378202) (← links)
- Correctness and concurrent complexity of the black-white bakery algorithm (Q736464) (← links)
- Synchronous vs. asynchronous unison (Q926286) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- Tournaments for mutual exclusion: verification and concurrent complexity (Q1682286) (← links)
- UNITY and Büchi automata (Q2026375) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Computing with multiple discrete flows (Q2430306) (← links)
- Web Cube (Q3613060) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing (Q5403079) (← links)