Pages that link to "Item:Q1607225"
From MaRDI portal
The following pages link to Efficiency of asynchronous systems, read arcs, and the MUTEX-problem (Q1607225):
Displaying 11 items.
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Fairness of components in system computations (Q2491632) (← links)
- Fairness of actions in system computations (Q2502272) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- Time and Fairness in a Process Algebra with Non-blocking Reading (Q3599073) (← links)
- (Q5014797) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)