Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti. A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 2-16, CEUR-WS.org, 2012. [doi]
@inproceedings{BaldoniBCMP12-0,
title = {A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation},
author = {Matteo Baldoni and Cristina Baroglio and Federico Capuzzimati and Elisa Marengo and Viviana Patti},
year = {2012},
url = {http://ceur-ws.org/Vol-857/paper_f01.pdf},
researchr = {https://researchr.org/publication/BaldoniBCMP12-0},
cites = {0},
citedby = {0},
pages = {2-16},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012},
editor = {Francesca A. Lisi},
volume = {857},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}