CINECA IRIS Institutional Research Information System

On Global Types and Multi-Party Sessions

DEZANI, Mariangiola;PADOVANI, Luca
2011-01-01
2011
Inglese
su invito
1 - Conferenza
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
Internazionale
Roberto Bruni, Juergen Dingel
Formal Techniques for Distributed Systems
Esperti anonimi
Springer
Berlin
GERMANIA
LNCS 6722
1
28
28
LECTURE NOTES IN COMPUTER SCIENCE
9783642214608
9783642214615
WOS:000392114500001
2-s2.0-79960865368
sì
FRANCIA
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
3
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
273
partially_open
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??? 15
social impact