David Harel. Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings. Volume 2505 of Lecture Notes in Computer Science, pages 6-7, Springer, 2002. [doi]
Abstract is missing.