Media type: E-Article Title: Declarative Agent Languages and Technologies X: A Generalized Commitment Machine for 2CL Protocols and Its Implementation Contributor: Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Marengo, Elisa; Patti, Viviana imprint: Springer Berlin Heidelberg, 2013 Published in: Declarative Agent Languages and Technologies X Language: Not determined DOI: 10.1007/978-3-642-37890-4_6 ISSN: 0302-9743; 1611-3349 Origination: Footnote: