Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms

Derek Egolf, Stavros Tripakis

Synthesis of distributed protocols is a hard, often undecidable, problem. Completion techniques provide partial remedy by turning the problem into a search problem. However, the sp…