A Note on the Drinking Philosophers Problem
No abstract available.
Related papers
- The Drinking Philosopher's Problem TOPLAS 1984
- On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem POPL 1981
- Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences PPoPP 2016
- Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock TACAS 1995
- A Note on Median Split Trees TOPLAS 1980
- A Further Note on Hennessy's "Symbolic Debugging of Optimized Code" TOPLAS 1993
- Liveness of Randomised Parameterised Systems under Arbitrary Schedulers CAV 2016
- Manifest sharing with session types ICFP 2017