Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Standard type soundness for agents and artifacts
2012 Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
A type-sound calculus of computational fields
2016 Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
2018 Mirko Viroli , Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Standard type soundness for agents and artifacts | Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli | 2012-01-01 | SCIENTIFIC ANNALS OF COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
A type-sound calculus of computational fields | Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob | 2016-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation |
Mirko Viroli , Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini |
2018-01-01 | ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION | - | 1.01 Articolo in rivista | - |
Mostrati risultati da 1 a 3 di 3
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