Description: Protocol conformance and deadlock analysis of actors with first-class mailboxes

Developed at: UNITO

Contacts: Luca Padovani

Available at: http://www.di.unito.it/~padovani/Software/MCC/index.html