Updated 9 months ago
irdc-ccsk
Java implementation of distributed reversible computation verification
Updated 9 months ago
https://github.com/cinrc/exercises-on-ccs-ccsk-and-rccs
A collection of exercises about CCS and its reversible declensions