RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.016 secondi).
Actors vs Shared Memory: two models at work on Big Data application frameworks
2015 Crafa, Silvia; Tronchin, Luca
Behavioural Types for Actor Systems
2012 Crafa, Silvia
Causality in concurrent systems
2013 Crafa, Silvia; Federica, Russo
Modelling the Evolution of Programming Languages
2015 Crafa, Silvia
On the chemistry of typestate-oriented actors
2016 Crafa, Silvia; Luca, Padovani
Pacta sunt servanda: legal contracts in Stipula
2021 Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni
Solidity 0.5: when typed does not mean type safe
2019 Crafa, Silvia; DI PIRRO, Matteo
Sull’indeterminatezza della procedura di attribuzione dei seggi nella legge elettorale italiana
2023 Crafa, Silvia
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Actors vs Shared Memory: two models at work on Big Data application frameworks | 2015 | CRAFA, SILVIATRONCHIN, LUCA | - | - | - |
Behavioural Types for Actor Systems | 2012 | CRAFA, SILVIA | - | - | - |
Causality in concurrent systems | 2013 | CRAFA, SILVIA + | - | - | - |
Modelling the Evolution of Programming Languages | 2015 | CRAFA, SILVIA | - | - | - |
On the chemistry of typestate-oriented actors | 2016 | CRAFA, SILVIA + | - | - | - |
Pacta sunt servanda: legal contracts in Stipula | 2021 | Silvia Crafa + | - | - | - |
Solidity 0.5: when typed does not mean type safe | 2019 | Silvia CrafaMatteo Di Pirro | - | - | - |
Sull’indeterminatezza della procedura di attribuzione dei seggi nella legge elettorale italiana | 2023 | crafa | - | - | - |
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.016 secondi).
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
Opzioni
Scopri
Tipologia
- 10 RAPPORTO TECNICO 8
- 10 RAPPORTO TECNICO::10.01 - Rapp... 8
Data di pubblicazione
- 2020 - 2023 2
- 2012 - 2019 6
Keyword
- Computer Science - Programming La... 5
- and Cluster Computing 2
- Computer Science - Distributed 2
- Parallel 2
- analisi algoritmica 1
- C.2.4 1
- Computer Science - Artificial Int... 1
- D.1.3 1
- F.1.2 1
- legge elettorale italiana 1
Lingua
- eng 7
- ita 1
Accesso al fulltext
- no fulltext 7
- open 1