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]
@inproceedings{RosarioKBCHJ07,
title = {Event Structure Semantics of Orc},
author = {Sidney Rosario and David Kitchin and Albert Benveniste and William R. Cook and Stefan Haar and Claude Jard},
year = {2007},
doi = {10.1007/978-3-540-79230-7_11},
url = {http://dx.doi.org/10.1007/978-3-540-79230-7_11},
tags = {semantics},
researchr = {https://researchr.org/publication/RosarioKBCHJ07},
cites = {0},
citedby = {1},
pages = {154-168},
booktitle = {Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
editor = {Marlon Dumas and Reiko Heckel},
volume = {4937},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-79229-1},
}