David Harel, Amir Kantor, Shahar Maoz. On the Power of Play-Out for Scenario-Based Programs. In Dennis Dams, Ulrich Hannemann, Martin Steffen, editors, Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Volume 5930 of Lecture Notes in Computer Science, pages 207-220, Springer, 2010. [doi]
Abstract is missing.