The following pages link to (Q4964718):
Displaying 8 items.
- Automated analysis of mutual exclusion algorithms using CCS (Q911263) (← links)
- Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Off-the-shelf automated analysis of liveness properties for just paths (extended abstract) (Q2117021) (← links)
- Automatic Refinement of Split Binary Semaphore (Q3525075) (← links)
- (Q5014797) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- Efficiency of Token-Passing MUTEX-Solutions — Some Experiments (Q6487392) (← links)