Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Claudio Antares Mezzina
@article{DBLP:journals/lmcs/BocchiLMY24,
author = {Laura Bocchi and
Ivan Lanese and
Claudio Antares Mezzina and
Shoji Yuen},
title = {revTPL: The Reversible Temporal Process Language},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:11)2024},
doi = {10.46298/LMCS-20(1:11)2024},
timestamp = {Tue, 05 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BocchiLMY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BernardoM23,
author = {Marco Bernardo and
Claudio Antares Mezzina},
title = {Bridging Causal Reversibility and Time Reversibility: {A} Stochastic
Process Algebraic Approach},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:6)2023},
doi = {10.46298/LMCS-19(2:6)2023},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BernardoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Mezzina0Y23,
author = {Claudio Antares Mezzina and
Francesco Tiezzi and
Nobuko Yoshida},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {Rollback Recovery in Session-Based Programming},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {195--213},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_11},
doi = {10.1007/978-3-031-35361-1\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Mezzina0Y23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BernardoM23,
author = {Marco Bernardo and
Claudio Antares Mezzina},
editor = {Laure Petrucci and
Jeremy Sproston},
title = {Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless
Actions and Time Additivity},
booktitle = {Formal Modeling and Analysis of Timed Systems - 21st International
Conference, {FORMATS} 2023, Antwerp, Belgium, September 19-21, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14138},
pages = {15--32},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42626-1\_2},
doi = {10.1007/978-3-031-42626-1\_2},
timestamp = {Tue, 05 Sep 2023 20:33:25 +0200},
biburl = {https://dblp.org/rec/conf/formats/BernardoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MelgrattiMP23,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
editor = {Marieke Huisman and
Ant{\'{o}}nio Ravara},
title = {Relating Reversible Petri Nets and Reversible Event Structures, Categorically},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held
as Part of the 18th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13910},
pages = {206--223},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35355-0\_13},
doi = {10.1007/978-3-031-35355-0\_13},
timestamp = {Tue, 20 Jun 2023 14:29:33 +0200},
biburl = {https://dblp.org/rec/conf/forte/MelgrattiMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BernardoLMMRC23,
author = {Marco Bernardo and
Ivan Lanese and
Andrea Marin and
Claudio Antares Mezzina and
Sabina Rossi and
Claudio Sacerdoti Coen},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Causal Reversibility Implies Time Reversibility},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {270--287},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_19},
doi = {10.1007/978-3-031-43835-6\_19},
timestamp = {Wed, 20 Sep 2023 23:28:50 +0200},
biburl = {https://dblp.org/rec/conf/qest/BernardoLMMRC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/GluckLMMPUV23,
author = {Robert Gl{\"{u}}ck and
Ivan Lanese and
Claudio Antares Mezzina and
Jaroslaw Adam Miszczak and
Iain C. C. Phillips and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Martin Kutrib and
Uwe Meyer},
title = {Towards a Taxonomy for Reversible Computation Approaches},
booktitle = {Reversible Computation - 15th International Conference, {RC} 2023,
Giessen, Germany, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13960},
pages = {24--39},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38100-3\_3},
doi = {10.1007/978-3-031-38100-3\_3},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/GluckLMMPUV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2309-05788,
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Proceedings Combined 30th International Workshop on Expressiveness
in Concurrency and 20th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
Belgium, 18th September 2023},
series = {{EPTCS}},
volume = {387},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387},
doi = {10.4204/EPTCS.387},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-05788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-14195,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {Relating Reversible Petri Nets and Reversible Event Structures, categorically},
journal = {CoRR},
volume = {abs/2302.14195},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.14195},
doi = {10.48550/ARXIV.2302.14195},
eprinttype = {arXiv},
eprint = {2302.14195},
timestamp = {Thu, 02 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-14195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-14011,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {A Truly Concurrent Semantics for Reversible {CCS}},
journal = {CoRR},
volume = {abs/2309.14011},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.14011},
doi = {10.48550/ARXIV.2309.14011},
eprinttype = {arXiv},
eprint = {2309.14011},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-14011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02851,
author = {Claudio Antares Mezzina and
Francesco Tiezzi and
Nobuko Yoshida},
title = {Checkpoint-based rollback recovery in session programming},
journal = {CoRR},
volume = {abs/2312.02851},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.02851},
doi = {10.48550/ARXIV.2312.02851},
eprinttype = {arXiv},
eprint = {2312.02851},
timestamp = {Thu, 28 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-02851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-16714,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {A Reversible Perspective on Petri Nets and Event Structures},
journal = {CoRR},
volume = {abs/2312.16714},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.16714},
doi = {10.48550/ARXIV.2312.16714},
eprinttype = {arXiv},
eprint = {2312.16714},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MelgrattiMP22,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {A Petri net view of covalent bonds},
journal = {Theor. Comput. Sci.},
volume = {908},
pages = {89--119},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.01.013},
doi = {10.1016/J.TCS.2022.01.013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MelgrattiMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BocchiLMY22,
author = {Laura Bocchi and
Ivan Lanese and
Claudio Antares Mezzina and
Shoji Yuen},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {The Reversible Temporal Process Language},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {31--49},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_3},
doi = {10.1007/978-3-031-08679-3\_3},
timestamp = {Wed, 15 Jun 2022 16:45:18 +0200},
biburl = {https://dblp.org/rec/conf/forte/BocchiLMY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rc/2022,
editor = {Claudio Antares Mezzina and
Krzysztof Podlaski},
title = {Reversible Computation - 14th International Conference, {RC} 2022,
Urbino, Italy, July 5-6, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13354},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09005-9},
doi = {10.1007/978-3-031-09005-9},
isbn = {978-3-031-09004-2},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2208-14777,
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368},
doi = {10.4204/EPTCS.368},
timestamp = {Mon, 06 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01420,
author = {Marco Bernardo and
Claudio Antares Mezzina},
title = {Bridging Causal Consistent and Time Reversibility: {A} Stochastic
Process Algebraic Approach},
journal = {CoRR},
volume = {abs/2205.01420},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01420},
doi = {10.48550/ARXIV.2205.01420},
eprinttype = {arXiv},
eprint = {2205.01420},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03687,
author = {Laura Bocchi and
Ivan Lanese and
Claudio Antares Mezzina and
Shoji Yuen},
title = {revTPL: The Reversible Temporal Process Language},
journal = {CoRR},
volume = {abs/2212.03687},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03687},
doi = {10.48550/ARXIV.2212.03687},
eprinttype = {arXiv},
eprint = {2212.03687},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03687.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LaneseMM21,
author = {Ivan Lanese and
Doriana Medic and
Claudio Antares Mezzina},
title = {Static versus dynamic reversibility in {CCS}},
journal = {Acta Informatica},
volume = {58},
number = {1-2},
pages = {1--34},
year = {2021},
url = {https://doi.org/10.1007/s00236-019-00346-6},
doi = {10.1007/S00236-019-00346-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LaneseMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MezzinaP21,
author = {Claudio Antares Mezzina and
Jorge A. P{\'{e}}rez},
title = {Causal Consistency for Reversible Multiparty Protocols},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:1)2021},
doi = {10.46298/LMCS-17(4:1)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MezzinaP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MelgrattiMP21,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
title = {A distributed operational view of Reversible Prime Event Structures},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470623},
doi = {10.1109/LICS52264.2021.9470623},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MelgrattiMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MelgrattiMP21,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
G. Michele Pinna},
editor = {Shigeru Yamashita and
Tetsuo Yokoyama},
title = {Towards a Truly Concurrent Semantics for Reversible {CCS}},
booktitle = {Reversible Computation - 13th International Conference, {RC} 2021,
Virtual Event, July 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12805},
pages = {109--125},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79837-6\_7},
doi = {10.1007/978-3-030-79837-6\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/MelgrattiMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MedicMPY20,
author = {Doriana Medic and
Claudio Antares Mezzina and
Iain Phillips and
Nobuko Yoshida},
title = {A parametric framework for reversible \emph{{\(\pi\)}}-calculi},
journal = {Inf. Comput.},
volume = {275},
pages = {104644},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2020.104644},
doi = {10.1016/J.IC.2020.104644},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MedicMPY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MelgrattiMU20,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Irek Ulidowski},
title = {Reversing Place Transition Nets},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {4},
year = {2020},
url = {https://lmcs.episciences.org/6843},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MelgrattiMU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/0001M20,
author = {Marco Bernardo and
Claudio Antares Mezzina},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Towards Bridging Time and Causal Reversibility},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {22--38},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_2},
doi = {10.1007/978-3-030-50086-3\_2},
timestamp = {Wed, 10 Jun 2020 16:48:47 +0200},
biburl = {https://dblp.org/rec/conf/forte/0001M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MelgrattiM0PU20,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Iain Phillips and
G. Michele Pinna and
Irek Ulidowski},
editor = {Ivan Lanese and
Mariusz Rawski},
title = {Reversible Occurrence Nets and Causal Reversible Prime Event Structures},
booktitle = {Reversible Computation - 12th International Conference, {RC} 2020,
Oslo, Norway, July 9-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12227},
pages = {35--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52482-1\_2},
doi = {10.1007/978-3-030-52482-1\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/MelgrattiM0PU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MedicM0Y20,
author = {Doriana Medic and
Claudio Antares Mezzina and
Iain Phillips and
Nobuko Yoshida},
editor = {Ivan Lanese and
Mariusz Rawski},
title = {Towards a Formal Account for Software Transactional Memory},
booktitle = {Reversible Computation - 12th International Conference, {RC} 2020,
Oslo, Norway, July 9-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12227},
pages = {255--263},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52482-1\_16},
doi = {10.1007/978-3-030-52482-1\_16},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/MedicM0Y20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AmanCGKKKLMMNPPPUV20,
author = {Bogdan Aman and
Gabriel Ciobanu and
Robert Gl{\"{u}}ck and
Robin Kaarsgaard and
Jarkko Kari and
Martin Kutrib and
Ivan Lanese and
Claudio Antares Mezzina and
Lukasz Mikulski and
Rajagopal Nagarajan and
Iain C. C. Phillips and
G. Michele Pinna and
Luca Prigioniero and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Foundations of Reversible Computation},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {1--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_1},
doi = {10.1007/978-3-030-47361-7\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/AmanCGKKKLMMNPPPUV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MezzinaSGHHCLMSSU20,
author = {Claudio Antares Mezzina and
Rudolf Schlatte and
Robert Gl{\"{u}}ck and
Tue Haulund and
James Hoey and
Martin Holm Cservenka and
Ivan Lanese and
Torben {\AE}. Mogensen and
Harun Siljak and
Ulrik Pagh Schultz and
Irek Ulidowski},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Software and Reversible Systems: {A} Survey of Recent Activities},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {41--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_2},
doi = {10.1007/978-3-030-47361-7\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/MezzinaSGHHCLMSSU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/FrancalanzaMT20,
author = {Adrian Francalanza and
Claudio Antares Mezzina and
Emilio Tuosto},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Towards Choreographic-Based Monitoring},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {128--150},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_6},
doi = {10.1007/978-3-030-47361-7\_6},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/FrancalanzaMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlrahmanMV19,
author = {Yehia Abd Alrahman and
Claudio Antares Mezzina and
Hugo Torres Vieira},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Testing for Coordination Fidelity},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {152--169},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_10},
doi = {10.1007/978-3-030-21485-2\_10},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlrahmanMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MelgrattiMU19,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Irek Ulidowski},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Reversing {P/T} Nets},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {19--36},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_2},
doi = {10.1007/978-3-030-22397-7\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/MelgrattiMU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04266,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Irek Ulidowski},
title = {Reversing Place Transition Nets},
journal = {CoRR},
volume = {abs/1910.04266},
year = {2019},
url = {http://arxiv.org/abs/1910.04266},
eprinttype = {arXiv},
eprint = {1910.04266},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10987,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Iain C. C. Phillips and
G. Michele Pinna and
Irek Ulidowski},
title = {Reversible Causal Nets and Reversible Event Structures},
journal = {CoRR},
volume = {abs/1910.10987},
year = {2019},
url = {http://arxiv.org/abs/1910.10987},
eprinttype = {arXiv},
eprint = {1910.10987},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BuravlevNM18,
author = {Vitaly Buravlev and
Rocco De Nicola and
Claudio Antares Mezzina},
title = {Evaluating the efficiency of Linda implementations},
journal = {Concurr. Comput. Pract. Exp.},
volume = {30},
number = {8},
year = {2018},
url = {https://doi.org/10.1002/cpe.4381},
doi = {10.1002/CPE.4381},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/BuravlevNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mezzina18,
author = {Claudio Antares Mezzina},
title = {Discotec 2018 conference report},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {84--85},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242967},
doi = {10.1145/3242953.3242967},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mezzina18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/FrancalanzaMT18,
author = {Adrian Francalanza and
Claudio Antares Mezzina and
Emilio Tuosto},
editor = {Silvia Bonomi and
Etienne Rivi{\`{e}}re},
title = {Reversible Choreographies via Monitoring in Erlang},
booktitle = {Distributed Applications and Interoperable Systems - 18th {IFIP} {WG}
6.1 International Conference, {DAIS} 2018, Held as Part of the 13th
International Federated Conference on Distributed Computing Techniques,
DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10853},
pages = {75--92},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93767-0\_6},
doi = {10.1007/978-3-319-93767-0\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/FrancalanzaMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BuravlevNLM18,
author = {Vitaly Buravlev and
Rocco De Nicola and
Alberto Lluch{-}Lafuente and
Claudio Antares Mezzina},
editor = {Ivan Merelli and
Pietro Li{\`{o}} and
Igor V. Kotenko},
title = {Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions
and Replication Strategies},
booktitle = {26th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2018, Cambridge, United Kingdom, March
21-23, 2018},
pages = {302--305},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PDP2018.2018.00052},
doi = {10.1109/PDP2018.2018.00052},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/BuravlevNLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/Mezzina18,
author = {Claudio Antares Mezzina},
editor = {Jarkko Kari and
Irek Ulidowski},
title = {On Reversibility and Broadcast},
booktitle = {Reversible Computation - 10th International Conference, {RC} 2018,
Leicester, UK, September 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11106},
pages = {67--83},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99498-7\_5},
doi = {10.1007/978-3-319-99498-7\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/rc/Mezzina18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08655,
author = {Doriana Medic and
Claudio Antares Mezzina and
Iain Phillips and
Nobuko Yoshida},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {A Parametric Framework for Reversible Pi-Calculi},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {87--103},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.8},
doi = {10.4204/EPTCS.276.8},
timestamp = {Wed, 02 Dec 2020 13:20:37 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-11800,
author = {Doriana Medic and
Claudio Antares Mezzina and
Iain Phillips and
Nobuko Yoshida},
title = {A Parametric Framework for Reversible {\(\pi\)}-Calculi},
journal = {CoRR},
volume = {abs/1807.11800},
year = {2018},
url = {http://arxiv.org/abs/1807.11800},
eprinttype = {arXiv},
eprint = {1807.11800},
timestamp = {Thu, 08 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-11800.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GiachinoLMT17,
author = {Elena Giachino and
Ivan Lanese and
Claudio Antares Mezzina and
Francesco Tiezzi},
title = {Causal-consistent rollback in a tuple-based language},
journal = {J. Log. Algebraic Methods Program.},
volume = {88},
pages = {99--120},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.09.003},
doi = {10.1016/J.JLAMP.2016.09.003},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/GiachinoLMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MezzinaP17,
author = {Claudio Antares Mezzina and
Jorge A. P{\'{e}}rez},
title = {Reversibility in session-based concurrency: {A} fresh look},
journal = {J. Log. Algebraic Methods Program.},
volume = {90},
pages = {2--30},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.03.003},
doi = {10.1016/J.JLAMP.2017.03.003},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MezzinaP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/BarbiBMS17,
author = {Roberta Barbi and
Vitaly Buravlev and
Claudio Antares Mezzina and
Valerio Schiavoni},
editor = {Lydia Y. Chen and
Hans P. Reiser},
title = {Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces:
An Experimental Study - (Practical Experience Report)},
booktitle = {Distributed Applications and Interoperable Systems - 17th {IFIP} {WG}
6.1 International Conference, {DAIS} 2017, Held as Part of the 12th
International Federated Conference on Distributed Computing Techniques,
DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10320},
pages = {67--82},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59665-5\_5},
doi = {10.1007/978-3-319-59665-5\_5},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dais/BarbiBMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MedicM17,
author = {Doriana Medic and
Claudio Antares Mezzina},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {Towards Parametric Causal Semantics in pi-calculus},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {121--125},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/ICTCSpaper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MedicM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MezzinaP17,
author = {Claudio Antares Mezzina and
Jorge A. P{\'{e}}rez},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Causally consistent reversible choreographies: a monitors-as-memories
approach},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {127--138},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131864},
doi = {10.1145/3131851.3131864},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MezzinaP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MezzinaK17,
author = {Claudio Antares Mezzina and
Vasileios Koutavas},
editor = {Fr{\'{e}}d{\'{e}}ric Mallet and
Min Zhang and
Eric Madelaine},
title = {A safety and liveness theory for total reversibility},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2017, Sophia Antipolis, France, September 13-15, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/TASE.2017.8285635},
doi = {10.1109/TASE.2017.8285635},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MezzinaK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07233,
author = {Ian Cassar and
Adrian Francalanza and
Claudio Antares Mezzina and
Emilio Tuosto},
editor = {Adrian Francalanza and
Gordon J. Pace},
title = {Reliability and Fault-Tolerance by Choreographic Design},
booktitle = {Proceedings Second International Workshop on Pre- and Post-Deployment
Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September
2017},
series = {{EPTCS}},
volume = {254},
pages = {69--80},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.254.6},
doi = {10.4204/EPTCS.254.6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MezzinaP17,
author = {Claudio Antares Mezzina and
Jorge A. P{\'{e}}rez},
title = {Causally Consistent Reversible Choreographies},
journal = {CoRR},
volume = {abs/1703.06021},
year = {2017},
url = {http://arxiv.org/abs/1703.06021},
eprinttype = {arXiv},
eprint = {1703.06021},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/MezzinaP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MezzinaT17,
author = {Claudio Antares Mezzina and
Emilio Tuosto},
title = {Choreographies for Automatic Recovery},
journal = {CoRR},
volume = {abs/1705.09525},
year = {2017},
url = {http://arxiv.org/abs/1705.09525},
eprinttype = {arXiv},
eprint = {1705.09525},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MezzinaT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaneseMS16,
author = {Ivan Lanese and
Claudio Antares Mezzina and
Jean{-}Bernard Stefani},
title = {Reversibility in the higher-order {\(\pi\)}-calculus},
journal = {Theor. Comput. Sci.},
volume = {625},
pages = {25--84},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.02.019},
doi = {10.1016/J.TCS.2016.02.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LaneseMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BuravlevNM16,
author = {Vitaly Buravlev and
Rocco De Nicola and
Claudio Antares Mezzina},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {Tuple Spaces Implementations and Their Efficiency},
booktitle = {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
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {51--66},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_4},
doi = {10.1007/978-3-319-39519-7\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BuravlevNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MezzinaP16,
author = {Claudio Antares Mezzina and
Jorge Andr{\'{e}}s P{\'{e}}rez},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Reversible Semantics in Session-based Concurrency},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {221--226},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MezzinaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MedicM16,
author = {Doriana Medic and
Claudio Antares Mezzina},
editor = {Simon J. Devitt and
Ivan Lanese},
title = {Static {VS} Dynamic Reversibility in {CCS}},
booktitle = {Reversible Computation - 8th International Conference, {RC} 2016,
Bologna, Italy, July 7-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9720},
pages = {36--51},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40578-0\_3},
doi = {10.1007/978-3-319-40578-0\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/MedicM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MezzinaP16,
author = {Claudio Antares Mezzina and
Jorge A. P{\'{e}}rez},
editor = {Dominic A. Orchard and
Nobuko Yoshida},
title = {Reversible Sessions Using Monitors},
booktitle = {Proceedings of the Ninth workshop on Programming Language Approaches
to Concurrency- and Communication-cEntric Software, {PLACES} 2016,
Eindhoven, The Netherlands, 8th April 2016},
series = {{EPTCS}},
volume = {211},
pages = {56--64},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.211.6},
doi = {10.4204/EPTCS.211.6},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/MezzinaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MezzinaK16,
author = {Claudio Antares Mezzina and
Vasileios Koutavas},
title = {A Safety and Liveness Theory for Total Reversibility (Extended Abstract)},
journal = {CoRR},
volume = {abs/1604.05555},
year = {2016},
url = {http://arxiv.org/abs/1604.05555},
eprinttype = {arXiv},
eprint = {1604.05555},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MezzinaK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BuravlevNM16,
author = {Vitaly Buravlev and
Rocco De Nicola and
Claudio Antares Mezzina},
title = {Tuple spaces implementations and their efficiency},
journal = {CoRR},
volume = {abs/1612.02979},
year = {2016},
url = {http://arxiv.org/abs/1612.02979},
eprinttype = {arXiv},
eprint = {1612.02979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BuravlevNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaMV15,
author = {Rocco De Nicola and
Claudio Antares Mezzina and
Hugo Torres Vieira},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Global Protocol Implementations via Attribute-Based Communication},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {219--237},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_15},
doi = {10.1007/978-3-319-25527-9\_15},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GiachinoLMT15,
author = {Elena Giachino and
Ivan Lanese and
Claudio Antares Mezzina and
Francesco Tiezzi},
editor = {Masoud Daneshtalab and
Marco Aldinucci and
Ville Lepp{\"{a}}nen and
Johan Lilius and
Mats Brorsson},
title = {Causal-Consistent Reversibility in a Tuple-Based Language},
booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
2015},
pages = {467--475},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PDP.2015.98},
doi = {10.1109/PDP.2015.98},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/GiachinoLMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Lanese14,
author = {Ivan Lanese and
Claudio Antares Mezzina and
Francesco Tiezzi},
title = {Causal-Consistent Reversibility},
journal = {Bull. {EATCS}},
volume = {114},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/305},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Lanese14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GiachinoLM14,
author = {Elena Giachino and
Ivan Lanese and
Claudio Antares Mezzina},
editor = {Stefania Gnesi and
Arend Rensink},
title = {Causal-Consistent Reversible Debugging},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {370--384},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_26},
doi = {10.1007/978-3-642-54804-8\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/GiachinoLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BucchiaroneMR14,
author = {Antonio Bucchiarone and
Claudio Antares Mezzina and
Heorhi Raik},
title = {A Goal Model for Collective Adaptive Systems},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2014, London, United Kingdom, September
8-12, 2014},
pages = {20--25},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASOW.2014.11},
doi = {10.1109/SASOW.2014.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BucchiaroneMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BucchiaroneMPRV14,
author = {Antonio Bucchiarone and
Claudio Antares Mezzina and
Marco Pistore and
Heorhi Raik and
Giuseppe Valetto},
title = {Collective Adaptation in Process-Based Systems},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2014, London, United Kingdom, September 8-12, 2014},
pages = {151--156},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASO.2014.28},
doi = {10.1109/SASO.2014.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BucchiaroneMPRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LaneseLMSS13,
author = {Ivan Lanese and
Michael Lienhardt and
Claudio Antares Mezzina and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Concurrent Flexible Reversibility},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {370--390},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_21},
doi = {10.1007/978-3-642-37036-6\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/LaneseLMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/AndrikopoulosBSKM13,
author = {Vasilios Andrikopoulos and
Antonio Bucchiarone and
Santiago Gomez Saez and
Dimka Karastoyanova and
Claudio Antares Mezzina},
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Towards Modeling and Execution of Collective Adaptive Systems},
booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
pages = {69--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06859-6\_7},
doi = {10.1007/978-3-319-06859-6\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/AndrikopoulosBSKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BucchiaroneMMPR13,
author = {Antonio Bucchiarone and
Annapaola Marconi and
Claudio Antares Mezzina and
Marco Pistore and
Heorhi Raik},
editor = {Samik Basu and
Cesare Pautasso and
Liang Zhang and
Xiang Fu},
title = {On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality,
Reduction and Reuse},
booktitle = {Service-Oriented Computing - 11th International Conference, {ICSOC}
2013, Berlin, Germany, December 2-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8274},
pages = {146--161},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45005-1\_11},
doi = {10.1007/978-3-642-45005-1\_11},
timestamp = {Tue, 09 May 2023 12:51:34 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BucchiaroneMMPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BucchiaroneMMP13,
author = {Antonio Bucchiarone and
Annapaola Marconi and
Claudio Antares Mezzina and
Marco Pistore},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {A conceptual framework for collective adaptive systems},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1935--1936},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480720},
doi = {10.1145/2480362.2480720},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BucchiaroneMMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/BucchiaroneMP13,
author = {Antonio Bucchiarone and
Claudio Antares Mezzina and
Marco Pistore},
editor = {Stefania Gnesi and
Philippe Collet and
Klaus Schmid},
title = {CAptLang: a language for context-aware and adaptable business processes},
booktitle = {The Seventh International Workshop on Variability Modelling of Software-intensive
Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013},
pages = {12:1--12:5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2430502.2430519},
doi = {10.1145/2430502.2430519},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/BucchiaroneMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Mezzina12,
author = {Claudio Antares Mezzina},
title = {R{\'{e}}versibilit{\'{e}} dans le pi calcul d'ordre sup{\'{e}}rieur.
(concurrency theory,process calculi,reversibility,reversible computing,expressiveness
of reversibility)},
school = {Grenoble Alpes University, France},
year = {2012},
url = {https://tel.archives-ouvertes.fr/tel-00683964},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Mezzina12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LienhardtLMS12,
author = {Michael Lienhardt and
Ivan Lanese and
Claudio Antares Mezzina and
Jean{-}Bernard Stefani},
editor = {Holger Giese and
Grigore Rosu},
title = {A Reversible Abstract Machine and Its Space Overhead},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {1--17},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_1},
doi = {10.1007/978-3-642-30793-5\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/LienhardtLMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/LaneseMS12,
author = {Ivan Lanese and
Claudio Antares Mezzina and
Jean{-}Bernard Stefani},
editor = {Robert Gl{\"{u}}ck and
Tetsuo Yokoyama},
title = {Controlled Reversibility and Compensations},
booktitle = {Reversible Computation, 4th International Workshop, {RC} 2012, Copenhagen,
Denmark, July 2-3, 2012. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7581},
pages = {233--240},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36315-3\_19},
doi = {10.1007/978-3-642-36315-3\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/rc/LaneseMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaneseMSS11,
author = {Ivan Lanese and
Claudio Antares Mezzina and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Controlling Reversibility in Higher-Order Pi},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {297--311},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_20},
doi = {10.1007/978-3-642-23217-6\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/LaneseMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaneseMS10,
author = {Ivan Lanese and
Claudio Antares Mezzina and
Jean{-}Bernard Stefani},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Reversing Higher-Order Pi},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {478--493},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_33},
doi = {10.1007/978-3-642-15375-4\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/LaneseMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LienhardtMSS09,
author = {Michael Lienhardt and
Claudio Antares Mezzina and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Typing Component-Based Communication Systems},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {167--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_11},
doi = {10.1007/978-3-642-02138-1\_11},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/LienhardtMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-06 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
