A Semantic Deconstruction of Session Types

Bartoletti, M.; Scalas, A.; Zunino, Roberto

doi:10.1007/978-3-662-44584-6_28

A Semantic Deconstruction of Session Types

M. Bartoletti;A. Scalas;Zunino, Roberto

2014-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2014
			
	Titolo del volume (Proceedings title)
	
				CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
			
	Luogo di edizione (Place of publication)
	
				Berlin
			
	Casa editrice (Publisher)
	
				Springer-Verlag
			
	ISBN
	
				9783662445839
9783662445846
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-84906769376
			
	Tutti gli autori
	
						M., Bartoletti; A., Scalas; Zunino, Roberto
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)

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/11572/100568

Attenzione

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

Citazioni

ND

20

ND

ND

A Semantic Deconstruction of Session Types

M. Bartoletti;A. Scalas;Zunino, Roberto

2014-01-01

Scheda breve Scheda completa Scheda completa (DC)

Informazioni

Attenzione

Citazioni

social impact

Conferma cancellazione

Scheda breve

Scheda completa

Scheda completa (DC)