Projects in Awesome Lists tagged with process-algebra
A curated list of projects in awesome lists tagged with process-algebra .
https://github.com/anatoliykmetyuk/free-acp
A rewriting-based process algebra engine
acp algebra process-algebra process-algebra-engine
Last synced: 07 May 2025
https://github.com/cinrc/irdc-ccsk
Java implementation of distributed reversible computation verification
calculus-of-communicating-systems ccsk java process-algebra reversible-computation
Last synced: 03 May 2025
https://github.com/workflowfm/pew
A persistent execution engine for pi-calculus workflows
business-process-management process-algebra process-algebra-engine workflow-engine workflow-management workflows
Last synced: 16 Jan 2026
https://github.com/epost/mcrl2-mode
Emacs mode for mCRL2 specification language
emacs-mode mcrl2 modeling process-algebra verification
Last synced: 22 Feb 2026
