A Type Checking Algorithm for Concurrent Object Protocols

Luca Padovani
2018-01-01

2018
100
16
35
Luca Padovani
File in questo prodotto:
File Dimensione Formato  
main.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 253.53 kB
Formato Adobe PDF
253.53 kB Adobe PDF Visualizza/Apri
1-s2.0-S2352220817301463-main.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 611.37 kB
Formato Adobe PDF
611.37 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/1670197
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact