Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto. Translating Orc Features into Petri Nets and the Join Calculus. In Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro, editors, Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Volume 4184 of Lecture Notes in Computer Science, pages 123-137, Springer, 2006. [doi]
@inproceedings{BruniMT06,
title = {Translating Orc Features into Petri Nets and the Join Calculus},
author = {Roberto Bruni and Hernán C. Melgratti and Emilio Tuosto},
year = {2006},
doi = {10.1007/11841197_8},
url = {http://dx.doi.org/10.1007/11841197_8},
tags = {translation, C++},
researchr = {https://researchr.org/publication/BruniMT06},
cites = {0},
citedby = {0},
pages = {123-137},
booktitle = {Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings},
editor = {Mario Bravetti and Manuel Núñez and Gianluigi Zavattaro},
volume = {4184},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-38862-1},
}