Följ
Claudio Antares Mezzina
Titel
Citeras av
Citeras av
År
Reversing higher-order pi
I Lanese, CA Mezzina, JB Stefani
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
1052010
Controlling reversibility in higher-order pi
I Lanese, CA Mezzina, A Schmitt, JB Stefani
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
882011
Causal-Consistent Reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
712014
Causal-consistent reversible debugging
E Giachino, I Lanese, CA Mezzina
Fundamental Approaches to Software Engineering: 17th International …, 2014
692014
Reversibility in the higher-order π-calculus
I Lanese, CA Mezzina, JB Stefani
Theoretical Computer Science 625, 25-84, 2016
592016
Concurrent flexible reversibility
I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
562013
A reversible abstract machine and its space overhead
M Lienhardt, I Lanese, CA Mezzina, JB Stefani
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 …, 2012
362012
Towards modeling and execution of collective adaptive systems
V Andrikopoulos, A Bucchiarone, S Gķmez Sáez, D Karastoyanova, ...
Service-Oriented Computing–ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE …, 2014
342014
On-the-fly adaptation of dynamic service-based systems: Incrementality, reduction and reuse
A Bucchiarone, A Marconi, CA Mezzina, M Pistore, H Raik
Service-Oriented Computing: 11th International Conference, ICSOC 2013 …, 2013
332013
Controlled reversibility and compensations
I Lanese, CA Mezzina, JB Stefani
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013
302013
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
292017
Reversible choreographies via monitoring in erlang
A Francalanza, CA Mezzina, E Tuosto
Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 …, 2018
232018
Static versus dynamic reversibility in CCS
I Lanese, D Medić, CA Mezzina
Acta Informatica 58 (1-2), 1-34, 2021
222021
Reversing P/T Nets
H Melgratti, CA Mezzina, I Ulidowski
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
222019
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
212017
A Parametric Framework for Reversible -Calculi
D Medic, CA Mezzina, I Phillips, N Yoshida
arXiv preprint arXiv:1807.11800, 2018
192018
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
182013
Static VS dynamic reversibility in CCS
D Medić, CA Mezzina
Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016
172016
Tuple spaces implementations and their efficiency
V Buravlev, R De Nicola, CA Mezzina
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference …, 2016
162016
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
152020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20