MEZZINA, CLAUDIO ANTARES
MEZZINA, CLAUDIO ANTARES
Dipartimento di Scienze Pure e Applicate (DiSPeA)
A conceptual framework for collective adaptive systems
2013 Bucchiarone, A.; Marconi, A.; Mezzina, C.; Pistore, M.
A distributed operational view of Reversible Prime Event Structures
2021 Melgratti, Hernan; Mezzina, Claudio Antares; Michele Pinna, G.
A Goal Model for Collective Adaptive Systems
2014 Bucchiarone, A.; Mezzina, C; Raik, H.
A parametric framework for reversible π-calculi
2020 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
A Petri net view of covalent bonds
2022 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
A Reversible Abstract Machine and Its Space Overhead
2012 Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B
A safety and liveness theory for total reversibility
2017 Mezzina, Claudio Antares; Koutavas, Vasileios
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report)
2017 Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V
CAptLang: a language for context-aware and adaptable business processes
2013 Bucchiarone, A.; Mezzina, C; Pistore, M
Causal Consistency for Reversible Multiparty Protocols
2021 Mezzina, Claudio Antares; Pérez, Jorge A.
Causal-Consistent Reversibility in a Tuple-Based Language
2015 E., Giachino; I., Lanese; Mezzina, C; F., Tiezzi
Causal-Consistent Reversible Debugging
2014 Giachino, E; Lanese, I; Mezzina, C
Causal-consistent rollback in a tuple-based language
2017 Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F.
Causally consistent reversible choreographies: A monitors-as-memories approach
2017 Mezzina, C; Pérez, J.
Collective Adaptation in Process-Based Systems
2014 Bucchiarone, A.; Mezzina, C; Pistore, M.; Raik, H.; Valetto, G.
Concurrent Flexible Reversibility
2013 Lanese, I; Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B
Controlled Reversibility and Compensations
2013 Lanese, I; Mezzina, C; Stefani, J-B
Controlling reversibility in higher-order Pi
2011 Lanese, I; Mezzina, C; Schmitt, A; Stefani, J-B
Evaluating the efficiency of Linda implementations
2018 Buravlev, Vitaly; De Nicola, Rocco; Mezzina, CLAUDIO ANTARES
Foundations of Reversible Computation
2020 Aman, Bogdan; Ciobanu, Gabriel; Glück, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Mezzina, Claudio Antares; Mikulski, Łukasz; Nagarajan, Rajagopal; Phillips, Iain; Pinna, G. Michele; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germán
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A conceptual framework for collective adaptive systems | 1-gen-2013 | Bucchiarone, A.; Marconi, A.; Mezzina, C.; Pistore, M. | |
| A distributed operational view of Reversible Prime Event Structures | 1-gen-2021 | Melgratti, Hernan; Mezzina, Claudio Antares; Michele Pinna, G. | |
| A Goal Model for Collective Adaptive Systems | 1-gen-2014 | Bucchiarone, A.; Mezzina, C; Raik, H. | |
| A parametric framework for reversible π-calculi | 1-gen-2020 | Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko | |
| A Petri net view of covalent bonds | 1-gen-2022 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | |
| A Reversible Abstract Machine and Its Space Overhead | 1-gen-2012 | Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B | |
| A safety and liveness theory for total reversibility | 1-gen-2017 | Mezzina, Claudio Antares; Koutavas, Vasileios | |
| Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) | 1-gen-2017 | Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V | |
| CAptLang: a language for context-aware and adaptable business processes | 1-gen-2013 | Bucchiarone, A.; Mezzina, C; Pistore, M | |
| Causal Consistency for Reversible Multiparty Protocols | 1-gen-2021 | Mezzina, Claudio Antares; Pérez, Jorge A. | |
| Causal-Consistent Reversibility in a Tuple-Based Language | 1-gen-2015 | E., Giachino; I., Lanese; Mezzina, C; F., Tiezzi | |
| Causal-Consistent Reversible Debugging | 1-gen-2014 | Giachino, E; Lanese, I; Mezzina, C | |
| Causal-consistent rollback in a tuple-based language | 1-gen-2017 | Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F. | |
| Causally consistent reversible choreographies: A monitors-as-memories approach | 1-gen-2017 | Mezzina, C; Pérez, J. | |
| Collective Adaptation in Process-Based Systems | 1-gen-2014 | Bucchiarone, A.; Mezzina, C; Pistore, M.; Raik, H.; Valetto, G. | |
| Concurrent Flexible Reversibility | 1-gen-2013 | Lanese, I; Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B | |
| 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 | |
| Evaluating the efficiency of Linda implementations | 1-gen-2018 | Buravlev, Vitaly; De Nicola, Rocco; Mezzina, CLAUDIO ANTARES | |
| Foundations of Reversible Computation | 1-gen-2020 | Aman, Bogdan; Ciobanu, Gabriel; Glück, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Mezzina, Claudio Antares; Mikulski, Łukasz; Nagarajan, Rajagopal; Phillips, Iain; Pinna, G. Michele; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germán |