Claudio Antares Mezzina

Available identifiers

zbMath Open mezzina.claudio-antaresMaRDI QIDQ264994

List of research outcomes

Publication	Date of Publication	Type
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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claudio Antares Mezzina