Synthesis of Concurrent Systems with Many Similar Sequential Processes.

Paul C. Attie, E. Allen Emerson

Browse the full POPL paper archive.