CINECA IRIS Institutional Research Information System

A generalized commitment machine for 2CL protocols and its prolog implementation

BALDONI, Matteo;BAROGLIO, Cristina;CAPUZZIMATI, FEDERICO;MARENGO, ELISA;PATTI, Viviana
2012-01-01
2012
Inglese
contributo
4 - Workshop
9th Italian Convention on Computational Logic, CILC 2012
Rome, Italy
2012
Nazionale
Proc. of 9th Italian Convention on Computational Logic, CILC 2012
Comitato scientifico
CEUR Workshop Proceedings
Aachen
GERMANIA
857
2
16
15
CEUR WORKSHOP PROCEEDINGS
2-s2.0-84883406066
Commitment Machine; Commitment-based Interaction Protocols; Constraints among Commitments; Risks of Violation; Computer Science (all)
no
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
5
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Marengo, Elisa; Patti, Viviana
273
none
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1645913
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact