Event Structure Semantics of Orc

Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard. Event Structure Semantics of Orc. In Marlon Dumas, Reiko Heckel, editors, Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Volume 4937 of Lecture Notes in Computer Science, pages 154-168, Springer, 2007. [doi]


Abstract is missing.