In paper deadlock studies, written with muse version 3.8.0 early in mind, tool muse is used to compute particular sets of states relevant to deadlock analysis (live zone, dead zone, etc). Four mcc files are used for that purpose: lz.mmc dz.mmc, fbm.mmc, zones.mmc; their contents are made precise in the paper.

files lz.mmc and dz.mmc print the same results in (early) 3.8.0 and in (final) 3.8.0, but files zones.mmc and fbm.mmc don't. To print results exactly as shown in the paper when using final 3.8.0, one should use the slightly updated files zones.mmc and fbm.mmc. Please check the muse 3.8.0 release notes for details.
Last updated: Thu Apr 25 18:09:00 CEST 2024