Synthesizing reactive systems from LSC requirements using the play-engine.

Hillel Kugler, Cory Plock, Amir Pnueli

Browse the full OOPSLA paper archive.