Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005-01-01 Bettini, Lorenzo; DE NICOLA, Rocco; Falassi, Daniele; Marc, Lacoste; Loreti, Michele
FlyFast: A mean field model checker
2017-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
2018-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
2015-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke
Label core for understanding RNA structure
2020-01-01 Quadrini, M.; Merelli, E.; Piergallini, R.
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
2019-01-01 Boreale, Michele; Corradini, Flavio; Loreti, Michele; Pugliese, Rosario
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes
2010-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
X-Klaim Is Back
2019-01-01 Bettini, Lorenzo; Merelli, Emanuela; Tiezzi, Francesco
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing | 1-gen-2005 | Bettini, Lorenzo; DE NICOLA, Rocco; Falassi, Daniele; Marc, Lacoste; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
FlyFast: A mean field model checker | 1-gen-2017 | Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
A Formal Approach to the Engineering of Domain-Specific Distributed Systems | 1-gen-2018 | De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems | 1-gen-2015 | Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Label core for understanding RNA structure | 1-gen-2020 | Quadrini, M.; Merelli, E.; Piergallini, R. | Contributo in atto di convegno su volume | |
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday | 1-gen-2019 | Boreale, Michele; Corradini, Flavio; Loreti, Michele; Pugliese, Rosario | Cura di atti, volumi e cataloghi | |
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes | 1-gen-2010 | Bernardo, Marco; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
X-Klaim Is Back | 1-gen-2019 | Bettini, Lorenzo; Merelli, Emanuela; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia |
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