Claudio Antares Mezzina
Title
Cited by
Cited by
Year
Reversing higher-order pi
I Lanese, CA Mezzina, JB Stefani
International Conference on Concurrency Theory, 478-493, 2010
862010
Controlling reversibility in higher-order pi
I Lanese, CA Mezzina, A Schmitt, JB Stefani
International Conference on Concurrency Theory, 297-311, 2011
682011
Causal-Consistent Reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
572014
Causal-consistent reversible debugging
E Giachino, I Lanese, CA Mezzina
International Conference on Fundamental Approaches to Software Engineering …, 2014
502014
Reversibility in the higher-order π-calculus
I Lanese, CA Mezzina, JB Stefani
Theoretical Computer Science 625, 25-84, 2016
412016
Concurrent flexible reversibility
I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani
European Symposium on Programming, 370-390, 2013
372013
A reversible abstract machine and its space overhead
M Lienhardt, I Lanese, CA Mezzina, JB Stefani
Formal Techniques for Distributed Systems, 1-17, 2012
312012
On-the-fly adaptation of dynamic service-based systems: Incrementality, reduction and reuse
A Bucchiarone, A Marconi, CA Mezzina, M Pistore, H Raik
International Conference on Service-Oriented Computing, 146-161, 2013
282013
Towards modeling and execution of collective adaptive systems
V Andrikopoulos, A Bucchiarone, SG Sáez, D Karastoyanova, ...
International Conference on Service-Oriented Computing, 69-81, 2013
272013
Controlled reversibility and compensations
I Lanese, CA Mezzina, JB Stefani
International Workshop on Reversible Computation, 233-240, 2012
252012
Causal-consistent rollback in a tuple-based language
E Giachino, I Lanese, CA Mezzina, F Tiezzi
Journal of Logical and Algebraic Methods in Programming 88, 99-120, 2017
222017
Reversible choreographies via monitoring in erlang
A Francalanza, CA Mezzina, E Tuosto
IFIP International Conference on Distributed Applications and Interoperable …, 2018
162018
CAptLang: a language for context-aware and adaptable business processes
A Bucchiarone, CA Mezzina, M Pistore
Proceedings of the Seventh International Workshop on Variability Modelling …, 2013
142013
Causal-consistent reversibility in a tuple-based language
E Giachino, I Lanese, CA Mezzina, F Tiezzi
Parallel, Distributed and Network-Based Processing (PDP), 2015 23rd …, 2015
132015
Causally consistent reversible choreographies: a monitors-as-memories approach
CA Mezzina, JA Pérez
Proceedings of the 19th International Symposium on Principles and Practice …, 2017
122017
Static VS dynamic reversibility in CCS
D Medić, CA Mezzina
International Conference on Reversible Computation, 36-51, 2016
122016
Reversible sessions using monitors
CA Mezzina, JA Pérez
arXiv preprint arXiv:1606.05941, 2016
122016
Reversibility in session-based concurrency: A fresh look
CA Mezzina, JA Pérez
Journal of logical and algebraic methods in programming 90, 2-30, 2017
102017
Tuple spaces implementations and their efficiency
V Buravlev, R De Nicola, CA Mezzina
International Conference on Coordination Languages and Models, 51-66, 2016
92016
Collective adaptation in process-based systems
A Bucchiarone, CA Mezzina, M Pistore, H Raik, G Valetto
2014 IEEE Eighth International Conference on Self-Adaptive and Self …, 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20