Sarir is a Rebeca to mcrl2 compiler.
For more information, please refer to “H. Hojjat, M. Sirjani, M.R. Mousavi, J.F. Groote, Sarir: A Rebeca to mCRL2 Translator (Tool Paper). Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD’07), Bratislava, Slovak Republic, IEEE CS, July 2007.
- Version: 1.0
- Last Updated: April 1, 2007
- Size: 25 KB
- Download: [tar]