"McScM: A General Framework for the Verification of Communicating Machines."

Alexander Heußner, Tristan Le Gall, Grégoire Sutre (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics