Pages that link to "Item:Q1348531"
From MaRDI portal
The following pages link to Symmetric and economical solutions to the mutual exclusion problem in a distributed system (Q1348531):
Displaying 9 items.
- Distributed mutual exclusion on a ring of processes (Q1060005) (← links)
- Verification of multiprocess probabilistic protocols (Q1079944) (← links)
- Mutual exclusion versus coexistence for discrete competitive systems (Q1180356) (← links)
- A note of Raymond's tree based algorithm for distributed mutual exclusion (Q1199950) (← links)
- An asynchronous message-passing distributed algorithm for the generalized local critical section problem (Q1662701) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- (Q4790352) (← links)
- (Q5136318) (← links)