MMC is now available in the following format:
MMC with compilation, with AC and with AC nets are available in comp.tar.gz
XSB logic programming system v2.1 or higher running in Linux. For acquiring and installing XSB, please consult the official XSB home page.
If you have any problems downloading, installing, or running MMC, please send mail to firstname.lastname@example.org with a short description of the problem and the platform (OS, XSB version) you are operating on.
A Logical Encoding of the Pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.