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.
Controlled Reversibility and Compensations
2013-01-01 Lanese, I; Mezzina, C; Stefani, J-B
Controlling reversibility in higher-order Pi
2011-01-01 Lanese, I; Mezzina, C; Schmitt, A; Stefani, J-B
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies
2018-01-01 Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse
2013-01-01 Bucchiarone, A.; Marconi, A.; Mezzina, C; Pistore, M.; Raik, H.
Reliability and Fault-Tolerance by Choreographic Design
2017-01-01 Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E.
Reversible Sessions Using Monitors
2016-01-01 Mezzina, C; Pérez, J.
Reversing higher-order pi
2010-01-01 Lanese, I; Mezzina, C; Stefani, J-B
Static VS Dynamic Reversibility in CCS
2016-01-01 Medic, D; Mezzina, C
Towards Modeling and Execution of Collective Adaptive Systems
2013-01-01 Andrikopoulos, V.; Bucchiarone, A.; Saez, A.; Karastoyanova, D.; Mezzina, C
Typing component-based communication systems
2009-01-01 Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Controlled Reversibility and Compensations | 1-gen-2013 | Lanese, I; Mezzina, C; Stefani, J-B | |
Controlling reversibility in higher-order Pi | 1-gen-2011 | Lanese, I; Mezzina, C; Schmitt, A; Stefani, J-B | |
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies | 1-gen-2018 | Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares | |
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse | 1-gen-2013 | Bucchiarone, A.; Marconi, A.; Mezzina, C; Pistore, M.; Raik, H. | |
Reliability and Fault-Tolerance by Choreographic Design | 1-gen-2017 | Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E. | |
Reversible Sessions Using Monitors | 1-gen-2016 | Mezzina, C; Pérez, J. | |
Reversing higher-order pi | 1-gen-2010 | Lanese, I; Mezzina, C; Stefani, J-B | |
Static VS Dynamic Reversibility in CCS | 1-gen-2016 | Medic, D; Mezzina, C | |
Towards Modeling and Execution of Collective Adaptive Systems | 1-gen-2013 | Andrikopoulos, V.; Bucchiarone, A.; Saez, A.; Karastoyanova, D.; Mezzina, C | |
Typing component-based communication systems | 1-gen-2009 | Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B |
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
- 4 Contributo in Atti di Convegno ... 20
- 4 Contributo in Atti di Convegno ... 20
Data di pubblicazione
- 2018 1
- 2017 3
- 2016 2
- 2015 1
- 2014 3
- 2013 6
- 2012 1
- 2011 1
- 2010 1
- 2009 1
Editore
- Springer 11
- Institute of Electrical and Elect... 2
- ACM 1
- IEEE Computer Society 1
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 6
- ACM INTERNATIONAL CONFERENCE PROC... 2
- ELECTRONIC PROCEEDINGS IN THEORET... 2
- LECTURE NOTES IN COMPUTER SCIENCE 2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- Collective adaptive systems 2
- Computer Networks and Communications 1
- data consistency 1
- dynamic replication 1
- Formal framework 1
- Goal model 1
- Hardware and Architecture 1
- network 1
- Self-adaptation 1
- tuple space 1
Lingua
- eng 18
- ita 1
Accesso al fulltext
- no fulltext 20