A generalized commitment machine for 2CL protocols and its prolog implementation
Contributo in Atti di convegno
Data di Pubblicazione:
2012
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Commitment Machine; Commitment-based Interaction Protocols; Constraints among Commitments; Risks of Violation; Computer Science (all)
Elenco autori:
Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Marengo, Elisa; Patti, Viviana
Link alla scheda completa:
Titolo del libro:
Proc. of 9th Italian Convention on Computational Logic, CILC 2012
Pubblicato in: