CINECA IRIS Institutional Research Information System

On Global Types and Multi-Party Sessions

DEZANI, Mariangiola;PADOVANI, Luca
2011-01-01
2011
13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems
Reykjavík, Iceland
6-9 june 2011
Formal Techniques for Distributed Systems
Springer
LNCS 6722
1
28
9783642214608
9783642214615
Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
CastagnaDezaniPadovani11_4aperto_568719.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 485.34 kB
Formato Adobe PDF
Visualizza/Apri
485.34 kB Adobe PDF Visualizza/Apri
2011 - FMOODS - Castagna Dezani-Ciancaglini Padovani - On Global Types and Multi-Party Sessions.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 394.38 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
394.38 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/85966
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 30
  • ???jsp.display-item.citation.isi??? 14
social impact