Sfoglia per Serie
Towards Probabilistic Session-Type Monitoring
2021-01-01 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Verifying AbC Specifications via Emulation
2020-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar
VisArch: Visualisation of Performance-based Architectural Refactorings
2020-01-01 Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Towards Probabilistic Session-Type Monitoring | 1-gen-2021 | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio | |
A True Concurrent Model of Smart Contracts Executions | 1-gen-2020 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
Verifying AbC Specifications via Emulation | 1-gen-2020 | De Nicola, Rocco; Duong, Tan; Inverso, Omar | |
VisArch: Visualisation of Performance-based Architectural Refactorings | 1-gen-2020 | Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile