https://github.com/nekketsuuu/tapis

Termination analyzer of π-calculus processes by reduction to sequential programs
https://github.com/nekketsuuu/tapis

Last synced: 3 months ago
JSON representation

Termination analyzer of π-calculus processes by reduction to sequential programs

• Host: GitHub
• URL: https://github.com/nekketsuuu/tapis
• Owner: nekketsuuu
• License: mit
• Created: 2019-09-10T04:41:01.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-09-20T03:19:20.000Z (over 5 years ago)
• Last Synced: 2023-08-29T18:39:11.573Z (almost 2 years ago)
• Language: OCaml
• Homepage:
• Size: 84 KB
• Stars: 6
• Watchers: 2
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project