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]
Abstract is missing.