The name of the organization (CinRC) and the name of the package (me.gmx),
The name of the class (RCCS) and the name of the project (IRDC-CSSK),
I would advocate for using CinRC as the name of the package, but I'm not sure about which name we should use for the class / project. Maybe we could switch to "Implementation of Reversible Concurrent Calculus (IRCC)" for both?
We should harmonize:
I would advocate for using CinRC as the name of the package, but I'm not sure about which name we should use for the class / project. Maybe we could switch to "Implementation of Reversible Concurrent Calculus (IRCC)" for both?