Scala
Rewriting Process Algebra, Part 3: FreeACP Implementation
This is the third part of my progress report on a rewriting-based implementation of SubScript, FreeACP. This part covers the architecture of FreeACP I came up with so far while implementing the rewriting engine for SubScript. If you have not read the previous parts of this report, you are advised