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.
A calculus for attribute-based communication
2015-01-01 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
2015-01-01 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo
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
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
2008-01-01 Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele
A Language-Based Approach to Autonomic Computing
2013-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
2022-01-01 Loreti, M.; Rehman, A.
A Modal Logic for KLAIM
2000-01-01 DE NICOLA, Rocco; Loreti, Michele
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.
2019-01-01 De Nicola, Rocco; Duong, Tan; Loreti, Michele
AGILE: Software Architecture for Mobility
2002-01-01 Filipe Andrade, Luis; Baldan, Paolo; Baumeister, Hubert; Bruni, Roberto; Corradini, Andrea; De Nicola, Rocco; Luiz Fiadeiro, José; Gadducci, Fabio; Gnesi, Stefania; Hoffman, Piotr; Koch, Nora; Kosiuczenko, Piotr; Lapadula, Alessandro; Latella, Diego; Lopes, Antónia; Loreti, Michele; Massink, Mieke; Mazzanti, Franco; Montanari, Ugo; Oliveira, Cristóvão; Pugliese, Rosario; Tarlecki, Andrzej; Wermelinger, Michel; Wirsing, Martin; Zawlocki, Artur
An experimental spatio-temporal model checker
2015-01-01 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A calculus for attribute-based communication | 1-gen-2015 | Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto | Capitolo di libro o voce di enciclopedia | |
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields | 1-gen-2015 | Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo | Capitolo di libro o voce di enciclopedia | |
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 | |
A Fluid Flow Approach to Usability Analysis of Multi-user Systems | 1-gen-2008 | Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
A Language-Based Approach to Autonomic Computing | 1-gen-2013 | De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario | Capitolo di libro o voce di enciclopedia | |
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems | 1-gen-2022 | Loreti, M.; Rehman, A. | Capitolo di libro o voce di enciclopedia | |
A Modal Logic for KLAIM | 1-gen-2000 | DE NICOLA, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. | 1-gen-2019 | De Nicola, Rocco; Duong, Tan; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
AGILE: Software Architecture for Mobility | 1-gen-2002 | Filipe Andrade, Luis; Baldan, Paolo; Baumeister, Hubert; Bruni, Roberto; Corradini, Andrea; De Nicola, Rocco; Luiz Fiadeiro, José; Gadducci, Fabio; Gnesi, Stefania; Hoffman, Piotr; Koch, Nora; Kosiuczenko, Piotr; Lapadula, Alessandro; Latella, Diego; Lopes, Antónia; Loreti, Michele; Massink, Mieke; Mazzanti, Franco; Montanari, Ugo; Oliveira, Cristóvão; Pugliese, Rosario; Tarlecki, Andrzej; Wermelinger, Michel; Wirsing, Martin; Zawlocki, Artur | Capitolo di libro o voce di enciclopedia | |
An experimental spatio-temporal model checker | 1-gen-2015 | Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke | 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
Opzioni
Scopri
Tipologia
- 3 CONTRIBUTO SPECIFICO IN VOLUME 63
- 3 CONTRIBUTO SPECIFICO IN VOLUME:... 63
Data di pubblicazione
- 2020 - 2023 9
- 2010 - 2019 37
- 2000 - 2009 17
Editore
- Springer 41
- Springer Verlag 7
- Springer Science and Business Med... 5
- IEEE 2
- ACM 1
- Institute of Electrical and Elect... 1
- springer 1
- SPRINGER-VERLAG 1
- Springer-Verlag 1
- Springert 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 44
- LECTURE NOTES IN COMPUTER SCIENCE 4
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- COMMUNICATIONS IN COMPUTER AND IN... 1
Keyword
- Computer Science (all) 9
- Theoretical Computer Science 9
- Formal Methods 4
- Autonomic Computing 2
- Quantitative Analysis 2
- Stochastic process algebras 2
- Adaptive Systems 1
- Adaptive systems 1
- Asynchronous coordination languages 1
- Autonomic Systems 1
Lingua
- eng 63
Accesso al fulltext
- no fulltext 61
- open 2