https://github.com/calvin-l/ezpsl
The easy parallel algorithm specification language
https://github.com/calvin-l/ezpsl
concurrency language model-checking
Last synced: about 1 month ago
JSON representation
The easy parallel algorithm specification language
- Host: GitHub
- URL: https://github.com/calvin-l/ezpsl
- Owner: Calvin-L
- License: mit
- Created: 2020-01-12T22:22:09.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2022-04-03T06:09:40.000Z (about 3 years ago)
- Last Synced: 2025-04-14T08:04:05.692Z (about 1 month ago)
- Topics: concurrency, language, model-checking
- Language: Haskell
- Size: 340 KB
- Stars: 4
- Watchers: 3
- Forks: 1
- Open Issues: 0