Dining philosopher test module for assignment 2
Here is the core Maude version of the dining philosophers example (version 1), with initial state initState.
Publisert 30. sep. 2021 10:28
- Sist endret 30. sep. 2021 10:28
Here is the core Maude version of the dining philosophers example (version 1), with initial state initState.