Dining philosophers in JSD

P. Kokol

doi:10.1145/37537.37540

Dining philosophers in JSD

ACM SIGSOFT Software Engineering Notes ◽

10.1145/37537.37540 ◽

1987 ◽

Vol 12 (4) ◽

pp. 27-33

Author(s):

P. Kokol

Keyword(s):

Dining Philosophers

Download Full-text

The Dining Philosophers Problem

Augmented Marked Graphs ◽

10.1007/978-3-319-06428-4_6 ◽

2014 ◽

pp. 81-92

Author(s):

King Sing Cheung

Keyword(s):

Dining Philosophers

Download Full-text

A Comparative Solution to ARGESIM Benchmark C4 'Dining Philosophers' with AnyLogic and MVSTUDIUM

SNE Simulation Notes Europe ◽

10.11128/sne.28.bn04.10406 ◽

2018 ◽

Vol 28 (1) ◽

pp. 31-33

Author(s):

Joshua Grove

Keyword(s):

Dining Philosophers

Download Full-text

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems

Multi-Agent Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-14174-5_3 ◽

2019 ◽

pp. 30-47

Author(s):

Riccardo De Masellis ◽

Valentin Goranko ◽

Stefan Gruner ◽

Nils Timm

Keyword(s):

Resource Allocation ◽

Dynamic Resource Allocation ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Dynamic Resource ◽

Dining Philosophers

Download Full-text

On the generalized dining philosophers problem

Proceedings of the twentieth annual ACM symposium on Principles of distributed computing - PODC '01 ◽

10.1145/383962.383994 ◽

2001 ◽

Cited By ~ 4

Author(s):

Oltea Mihaela Herescu ◽

Catuscia Palamidessi

Keyword(s):

Dining Philosophers

Download Full-text

Verifying Solutions to the Dining Philosophers Problem with Activity-Oriented Petri Nets

2014 4th International Conference on Artificial Intelligence with Applications in Engineering and Technology ◽

10.1109/icaiet.2014.35 ◽

2014 ◽

Cited By ~ 1

Author(s):

Reggie Davidrajuh

Keyword(s):

Petri Nets ◽

Dining Philosophers

Download Full-text

Hierarchical compression for model-checking CSP or how to check 1020 dining philosophers for deadlock

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60630-0_7 ◽

1995 ◽

pp. 133-152 ◽

Cited By ~ 53

Author(s):

A. W. Roscoe ◽

P. H. B. Gardiner ◽

M. H. Goldsmith ◽

J. R. Hulance ◽

D. M. Jackson ◽

...

Keyword(s):

Model Checking ◽

Hierarchical Compression ◽

Dining Philosophers

Download Full-text

The dining philosophers problem and its decentralisation

Microprocessing and Microprogramming ◽

10.1016/0165-6074(92)90353-9 ◽

1992 ◽

Vol 35 (1-5) ◽

pp. 455-462 ◽

Cited By ~ 1

Author(s):

John G. Vaughan

Keyword(s):

Dining Philosophers

Download Full-text

Dining philosophers revisited, again

ACM SIGCSE Bulletin ◽

10.1145/122106.122119 ◽

1991 ◽

Vol 23 (2) ◽

pp. 60-64 ◽

Cited By ~ 1

Author(s):

Kwok-bun Yue

Keyword(s):

Dining Philosophers

Download Full-text

Randomized dining philosophers without fairness assumption

Distributed Computing ◽

10.1007/s00446-003-0102-z ◽

2004 ◽

Vol 17 (1) ◽

pp. 65-76 ◽

Cited By ~ 16

Author(s):

Marie Duflot ◽

Laurent Fribourg ◽

Claudine Picaronny

Keyword(s):

Dining Philosophers

Download Full-text

Case studies in termination: Choice coordination, the dining philosophers, and the random walk

Monographs in Computer Science - Abstraction, Refinement and Proof for Probabilistic Systems ◽

10.1007/0-387-27006-x_3 ◽

2005 ◽

pp. 79-106

Keyword(s):

Random Walk ◽

Case Studies ◽

Dining Philosophers

Download Full-text