MEZZINA, CLAUDIO ANTARES

MEZZINA, CLAUDIO ANTARES  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 20 di 53 (tempo di esecuzione: 0.062 secondi).
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
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
Controlled Reversibility and Compensations 1-gen-2013 Lanese, I; Mezzina, C; Stefani, J-B