111
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
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 ...