Sarir: Rebeca to mCRL2 translator


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]