Hillel Kugler, Cory Plock, Amir Pnueli. Synthesizing reactive systems from LSC requirements using the play-engine. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 801-802, ACM, 2007. [doi]
Abstract is missing.