Reasoning about interaction patterns in Choreography / R. Gorrieri; C. Guidi; R. Lucchi. - STAMPA. - 3670:(2005), pp. 333-348. (Intervento presentato al convegno Proc. of 2nd International Workshop on Web Services and Formal Methods -- WS-FM'05 tenutosi a Versailles, Francia nel 1-3 Settembre 2005).

Reasoning about interaction patterns in Choreography

GORRIERI, ROBERTO;GUIDI, CLAUDIO;LUCCHI, ROBERTO
2005

2005
Lecture Notes in Computer Science
333
348
Reasoning about interaction patterns in Choreography / R. Gorrieri; C. Guidi; R. Lucchi. - STAMPA. - 3670:(2005), pp. 333-348. (Intervento presentato al convegno Proc. of 2nd International Workshop on Web Services and Formal Methods -- WS-FM'05 tenutosi a Versailles, Francia nel 1-3 Settembre 2005).
R. Gorrieri; C. Guidi; R. Lucchi
File in questo prodotto:
Eventuali allegati, non sono esposti

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/11585/22832
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 14
social impact