Travelled to:1 × France
1 × Italy
1 × Portugal
Collaborated with:I.Lanese E.Giachino J.A.Pérez F.Tiezzi A.Bucchiarone A.Marconi M.Pistore M.Lienhardt A.Schmitt J.Stefani
Talks about:revers (4) consist (3) causal (3) choreographi (1) framework (1) conceptu (1) approach (1) monitor (1) languag (1) flexibl (1)
Person: Claudio Antares Mezzina
DBLP: Mezzina:Claudio_Antares
Contributed to:
2015
2014
2013
2013
2017Wrote 5 papers:
- PDP-2015-GiachinoLMT
- Causal-Consistent Reversibility in a Tuple-Based Language (EG, IL, CAM, FT), pp. 467–475.
- FASE-2014-GiachinoLM #debugging
- Causal-Consistent Reversible Debugging (EG, IL, CAM), pp. 370–384.
- ESOP-2013-LaneseLMSS #concurrent #flexibility
- Concurrent Flexible Reversibility (IL, ML, CAM, AS, JBS), pp. 370–390.
- SAC-2013-BucchiaroneMMP #adaptation #concept #framework
- A conceptual framework for collective adaptive systems (AB, AM, CAM, MP), pp. 1935–1936.
- PPDP-2017-MezzinaP #approach #consistency
- Causally consistent reversible choreographies: a monitors-as-memories approach (CAM, JAP), pp. 127–138.