The following pages link to (Q4256353):
Displaying 13 items.
- Event-based proof of the mutual exclusion property of Peterson's algorithm (Q271900) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- Logical classification of distributed algorithms (Bakery algorithms as an example) (Q541220) (← links)
- Models of central capacity and concurrency (Q762011) (← links)
- Modelling concurrent interactions (Q820134) (← links)
- Self-stabilizing timestamps (Q1884893) (← links)
- Studying Operational Models of Relaxed Concurrency (Q2830038) (← links)
- (Q3690204) (← links)
- (Q4027626) (← links)
- (Q4240122) (← links)
- Simplicial Models for Concurrency (Q5179017) (← links)
- Algebraic Methodology and Software Technology (Q5312988) (← links)
- Self-stabilizing \(\ell\)-exclusion (Q5958773) (← links)