Sciweavers

ACSD
2007
IEEE
94views Hardware» more  ACSD 2007»
14 years 5 months ago
Sarir: A Rebeca to mCRL2 Translator
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mous...