Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code / Pironti, Alfredo; Sisto, Riccardo. - STAMPA. - (2008), pp. 241-250. (Intervento presentato al convegno High Assurance Systems Engineering Symposium (HASE 2008) tenutosi a Nanjing, China nel 3-5 December 2008) [10.1109/HASE.2008.27].

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code

PIRONTI, ALFREDO;SISTO, Riccardo
2008

2008
9780769534824
File in questo prodotto:
File Dimensione Formato  
1868524.pdf

accesso aperto

Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: PUBBLICO - Tutti i diritti riservati
Dimensione 237.63 kB
Formato Adobe PDF
237.63 kB Adobe PDF Visualizza/Apri
Formally_Sound_Refinement_of_Spi_Calculus_Protocol_Specifications_into_Java_Code.pdf

non disponibili

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 304.48 kB
Formato Adobe PDF
304.48 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

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/11583/1868524