Authors: ATTIE PC EMERSON EA

Citation: Pc. Attie et Ea. Emerson, SYNTHESIS OF CONCURRENT SYSTEMS WITH MANY SIMILAR PROCESSES, ACM transactions on programming languages and systems, 20(1), 1998, pp. 51-115

Authors: EMERSON EA SISTLA AP

Citation: Ea. Emerson et Ap. Sistla, UTILIZING SYMMETRY WHEN MODEL-CHECKING UNDER FAIRNESS ASSUMPTIONS - AN AUTOMATA-THEORETIC APPROACH, ACM transactions on programming languages and systems, 19(4), 1997, pp. 617-638