Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.

Derek Egolf, Stavros Tripakis

Browse the full ATVA paper archive.