Source code of Goolong, from "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs"
Primary LanguagePrologOtherNOASSERTION