Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote. Sarir: A Rebeca to mCRL2 Translator. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 216-222, IEEE Computer Society, 2007. [doi]
Abstract is missing.