Items where Author is "Mezzina, Claudio Antares"

2017

Barbi, Roberta and Buravlev, Vitaly and Mezzina, Claudio Antares and Schiavoni, Valerio Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report). In: Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017. Lecture Notes in Computer Science, 10320 . Springer, pp. 67-82. ISBN 978-3-319-59664-8 (2017)

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017)

Mezzina, Claudio Antares and Pérez, Jorge A. Causally consistent reversible choreographies: a monitors-as-memories approach. In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, October 9-12 2017, Namur, Belgium pp. 127-138. ISBN 978-1-4503-5291-8. (2017)

Cassar, Ian and Francalanza, Adrian and Mezzina, Claudio Antares and Tuosto, Emilio Reliability and Fault-Tolerance by Choreographic Design. In: 2. International Workshop on Pre- and Post-Deployment Verification Techniques, September 19, 2017, Torino, Italy pp. 69-80. (2017)

Mezzina, Claudio Antares and Pérez, Jorge A. Reversibility in session-based concurrency: A fresh look. Journal of Logical and Algebraic Methods in Programming, 90. pp. 2-30. ISSN 2352-2208 (2017)

2016

Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard Reversibility in the higher-order \(π\)-calculus. Theoretical Computer Science, 625. pp. 25-84. ISSN 0304-3975 (2016)

Mezzina, Claudio Antares and Pérez, Jorge A. Reversible Sessions Using Monitors. In: Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, April 8, 2016, Eindhoven, The Netherlands pp. 56-64. ISSN 2075-2180. (2016)

Medic, Doriana and Mezzina, Claudio Antares Static VS Dynamic Reversibility in CCS. In: Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Lecture Notes in Computer Science (9720). Springer, pp. 36-51. ISBN 978-3-319-40577-3 (2016)

Buravlev, Vitaly and De Nicola, Rocco and Mezzina, Claudio Antares Tuple Spaces Implementations and Their Efficiency. In: Tuple Spaces Implementations and Their Efficiency : Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2. Lecture Notes in Computer Science (9686). Springer, pp. 51-66. ISBN 978-3-319-39518-0 (2016)

2015

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-Consistent Reversibility in a Tuple-Based Language. In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland pp. 467-475. ISBN 978-1-4799-8491-6. (2015)

De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo Global Protocol Implementations via Attribute-Based Communication. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (9465). Springer International Publishing, pp. 219-237. ISBN 978-3-319-25527-9 (2015)

2014

Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent reversibility. Bulletin of EATCS, 114. pp. 1-19. (2014)

Bucchiarone, Antonio and Mezzina, Claudio Antares and Pistore, Marco and Raik, Heorhi and Valetto, Giuseppe Collective adaptation in process-based systems. In: Proceedings of Eighth International Conference on the Self-Adaptive and Self-Organizing Systems (SASO). IEEE, pp. 151-156. ISBN 978-1-4799-5367-7 (2014)

Bucchiarone, Antonio and Mezzina, Claudio Antares and Raik, Heorhi A goal model for collective adaptive systems. In: 2nd workshop of the fundamentals of collective adaptive systems , 8th September 2014, London, UK (Unpublished) (2014)

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares Causal-consistent reversible debugging. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (8411). Springer, pp. 370-384. ISBN 978-3-642-54804-8 (2014)

Andrikopoulos, Vasilios and Bucchiarone, Antonio and Gómez Sáez, Santiago and Karastoyanova, Dimka and Mezzina, Claudio Antares Towards modeling and execution of Collective Adaptive Systems. In: Service-Oriented Computing – ICSOC 2013 Workshops. Lecture Notes in Computer Science (8377). Springer, pp. 69-81. ISBN 978-3-319-06859-6 (2014)

2013

Bucchiarone, Antonio and Mezzina, Claudio Antares and Pistore, Marco CAptLang: a language for context-aware and adaptable business processes. In: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13. ACM, pp. 1-5. ISBN 978-1-4503-1541-8 (2013)

Lanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Concurrent flexible reversibility. In: Programming Languages and Systems. Lecture Notes in Computer Science (7792). Springer, pp. 370-390. ISBN 978-3-642-37036-6 (2013)

Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard Controlled reversibility and compensations. In: Reversible Computation. Lecture Notes in Computer Science (7581). Springer, pp. 233-240. ISBN 978-3-642-36315-3 (2013)

Bucchiarone, Antonio and Marconi, Annapaola and Mezzina, Claudio Antares and Pistore, Marco and Raik, Heorhi On-the-fly adaptation of dynamic service-based systems: incrementality, reduction and reuse. In: Service-Oriented Computing. Lecture Notes in Computer Science (8274). Springer, pp. 146-161. ISBN 978-3-642-45005-1 (2013)

Bucchiarone, Antonio and Marconi, Annapaola and Mezzina, Claudio Antares and Pistore, Marco A conceptual framework for collective adaptive systems. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13. ACM, pp. 1935-1936. ISBN 978-1-4503-1656-9 (2013)

2012

Lienhardt, Michael and Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard A reversible abstract machine and its space overhead. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (7273). Springer, pp. 1-17. ISBN 978-3-642-30793-5 (2012)

2011

Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Controlling reversibility in higher-order pi. In: CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science (6901). Springer, pp. 297-311. ISBN 978-3-642-23217-6 (2011)

2010

Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard Reversing higher-order pi. In: CONCUR 2010 - Concurrency Theory. Lecture Notes in Computer Science (6269). Springer, pp. 478-493. ISBN 978-3-642-15375-4 (2010)

2009

Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Typing component-based communication systems. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (5522). Springer, pp. 167-181. ISBN 978-3-642-02137-4 (2009)