Claudio Antares Mezzina

Available identifiers

zbMath Open mezzina.claudio-antaresMaRDI QIDQ264994

List of research outcomes

Publication	Date of Publication	Type
Model checking reversible systems: forwardly	2024-11-13	Paper
A reversible perspective on Petri nets and event structures	2024-11-12	Paper
Causal reversibility implies time reversibility	2024-05-29	Paper
Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity	2024-05-03	Paper
revTPL: The Reversible Temporal Process Language	2024-03-11	Paper
Testing for coordination fidelity	2024-02-23	Paper
Towards a taxonomy for reversible computation approaches	2024-01-11	Paper
Relating reversible Petri nets and reversible event structures, categorically	2024-01-11	Paper
A Truly Concurrent Semantics for Reversible CCS	2023-09-25	Paper
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach	2023-08-26	Paper
Towards Bridging Time and Causal Reversibility	2022-10-13	Paper
The reversible temporal process language	2022-08-19	Paper
A Petri net view of covalent bonds	2022-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5028420	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q3384917	2021-12-17	Paper
Towards a Truly Concurrent Semantics for Reversible CCS	2021-11-03	Paper
Reversible occurrence nets and causal reversible prime event structures	2021-07-05	Paper
Towards a formal account for software transactional memory	2021-07-05	Paper
Static versus dynamic reversibility in CCS	2021-04-28	Paper
A parametric framework for reversible \(\pi\)-calculi	2020-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q5129948	2020-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4967172	2019-07-03	Paper
On reversibility and broadcast	2018-10-17	Paper
Reversibility in session-based concurrency: a fresh look	2017-07-04	Paper
Causal-consistent rollback in a tuple-based language	2017-03-20	Paper
Static VS Dynamic Reversibility in CCS	2016-08-10	Paper
Reversibility in the higher-order \(\pi\)-calculus	2016-04-01	Paper
Global Protocol Implementations via Attribute-Based Communication	2016-01-08	Paper
Controlled Reversibility and Compensations	2015-11-30	Paper
Concurrent Flexible Reversibility	2013-08-05	Paper
Controlling Reversibility in Higher-Order Pi	2011-09-02	Paper
Reversing Higher-Order Pi	2010-08-31	Paper

Research outcomes over time

This page was built for person: Claudio Antares Mezzina