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 Reversible Perspective on Petri Nets and Event Structures
2024 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
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
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
2023 Bernardo, Marco; Mezzina, Claudio Antares
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 Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity
2023 Bernardo, M.; Mezzina, C. A.
Causal Reversibility Implies Time Reversibility
2023 Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C.
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
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 Reversible Perspective on Petri Nets and Event Structures | 1-gen-2024 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | |
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 | |
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach | 1-gen-2023 | Bernardo, Marco; Mezzina, Claudio Antares | |
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 Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity | 1-gen-2023 | Bernardo, M.; Mezzina, C. A. | |
Causal Reversibility Implies Time Reversibility | 1-gen-2023 | Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C. | |
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 |