Sfoglia per Autore
Typing component-based communication systems
2009-01-01 Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B
Reversing higher-order pi
2010-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
A Reversible Abstract Machine and Its Space Overhead
2012-01-01 Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B
Concurrent Flexible Reversibility
2013-01-01 Lanese, I; Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B
CAptLang: a language for context-aware and adaptable business processes
2013-01-01 Bucchiarone, A.; Mezzina, C; Pistore, M
Controlled Reversibility and Compensations
2013-01-01 Lanese, I; Mezzina, C; Stefani, J-B
Towards Modeling and Execution of Collective Adaptive Systems
2013-01-01 Andrikopoulos, V.; Bucchiarone, A.; Saez, A.; Karastoyanova, D.; Mezzina, C
A conceptual framework for collective adaptive systems
2013-01-01 Bucchiarone, A.; Marconi, A.; Mezzina, C.; Pistore, M.
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.
Collective Adaptation in Process-Based Systems
2014-01-01 Bucchiarone, A.; Mezzina, C; Pistore, M.; Raik, H.; Valetto, G.
Causal-Consistent Reversible Debugging
2014-01-01 Giachino, E; Lanese, I; Mezzina, C
A goal model for collective adaptive systems
2014-01-01 Bucchiarone, A.; Mezzina, C; Raik, H.
Causal-Consistent Reversibility in a Tuple-Based Language.
2015-01-01 E., Giachino; I., Lanese; Mezzina, C; F., Tiezzi
Global protocol implementations via attribute-based communication
2015-01-01 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
Reversibility in the higher-order {\(\pi\)}-calculus
2016-01-01 I., Lanese; Mezzina, C; J. -B., Stefani
Static VS Dynamic Reversibility in CCS
2016-01-01 Medic, D; Mezzina, C
Tuple spaces implementations and their efficiency
2016-01-01 Buravlev, V.; De Nicola, R; Mezzina, C
Reversible Sessions Using Monitors
2016-01-01 Mezzina, C; Pérez, J.
Causally consistent reversible choreographies: A monitors-as-memories approach
2017-01-01 Mezzina, C; Pérez, J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Typing component-based communication systems | 1-gen-2009 | Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B | |
Reversing higher-order pi | 1-gen-2010 | 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 | |
A Reversible Abstract Machine and Its Space Overhead | 1-gen-2012 | Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B | |
Concurrent Flexible Reversibility | 1-gen-2013 | Lanese, I; Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B | |
CAptLang: a language for context-aware and adaptable business processes | 1-gen-2013 | Bucchiarone, A.; Mezzina, C; Pistore, M | |
Controlled Reversibility and Compensations | 1-gen-2013 | Lanese, I; Mezzina, C; Stefani, J-B | |
Towards Modeling and Execution of Collective Adaptive Systems | 1-gen-2013 | Andrikopoulos, V.; Bucchiarone, A.; Saez, A.; Karastoyanova, D.; Mezzina, C | |
A conceptual framework for collective adaptive systems | 1-gen-2013 | Bucchiarone, A.; Marconi, A.; Mezzina, C.; Pistore, M. | |
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. | |
Collective Adaptation in Process-Based Systems | 1-gen-2014 | Bucchiarone, A.; Mezzina, C; Pistore, M.; Raik, H.; Valetto, G. | |
Causal-Consistent Reversible Debugging | 1-gen-2014 | Giachino, E; Lanese, I; Mezzina, C | |
A goal model for collective adaptive systems | 1-gen-2014 | Bucchiarone, A.; Mezzina, C; Raik, H. | |
Causal-Consistent Reversibility in a Tuple-Based Language. | 1-gen-2015 | E., Giachino; I., Lanese; Mezzina, C; F., Tiezzi | |
Global protocol implementations via attribute-based communication | 1-gen-2015 | De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H | |
Reversibility in the higher-order {\(\pi\)}-calculus | 1-gen-2016 | I., Lanese; Mezzina, C; J. -B., Stefani | |
Static VS Dynamic Reversibility in CCS | 1-gen-2016 | Medic, D; Mezzina, C | |
Tuple spaces implementations and their efficiency | 1-gen-2016 | Buravlev, V.; De Nicola, R; Mezzina, C | |
Reversible Sessions Using Monitors | 1-gen-2016 | Mezzina, C; Pérez, J. | |
Causally consistent reversible choreographies: A monitors-as-memories approach | 1-gen-2017 | Mezzina, C; Pérez, J. |
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