Publications

 

2021

C. A. Mezzina and J. A. Pérez. Causal Consistency for Reversible Multiparty Protocols. LMCS, 2021,Volume 17, Issue 4. PDF

H. Melgratti, C. A. Mezzina and G. M. Pinna. A distributed operational view of Reversible Prime Event Structures. LICS 2021. hal-03227293

H. Melgratti, C. A. Mezzina and G. M. Pinna. Towards a truly concurrent semantics for reversible CCS. RC 2021 hal-03242858

J.J. González and G. Vidal. Causal-Consistent Reversible Debugging: Improving CauDEr. PADL 2021. PDF

I. Lanese, A. Palacios, G. Vidal. Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae 178(3): 229-266 (2021). PDF

C. Aubert, D. Medić. Explicit Identifiers and Contexts in Reversible Concurrent Calculus. RC 2021. hal-033007263.

I. Lanese, D. Medić, C. A. Mezzina. Static versus dynamic reversibility in CCS. Acta Informatica, 2021, pp.1-34. hal-03300794.

T. Mari, T. Dang, G. Gössler. Explaining Safety Violations in Real-Time Systems. FORMATS 2021, pp. 100-116.  hal-03348010v1.

 

2020

J. Hoey, I. Lanese, N. Nishida, I. Ulidowski and G. Vidal: A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Selected Results of the COST Action IC1405 2020: 108-127. hal-03005383.

I. Lanese, I. C. C. Phillips and I. Ulidowski: An Axiomatic Approach to Reversible Computation. FOSSACS 2020. hal-03004421.

D.Medić, C. A. Mezzina, I. Phillips, N. Yoshida: A parametric framework for reversible π-calculi. Information and Computation.hal-03132462.

H. C. Melgratti, C. A. Mezzina, Irek Ulidowski: Reversing Place Transition Nets. Log. Methods Comput. Sci. 16(4) (2020)

M. Bernardo, C. A. Mezzina: Towards Bridging Time and Causal Reversibility. FORTE 2020

G. Gössler and J.-B. Stefani. Causality Analysis and Fault Ascription in Component-Based Systems. TCS 837 (2020). hal-02161534v3

D.Medić, C. A. Mezzina, I. Phillips, N. Yoshida: Towards a Formal Account for Software Transactional Memory. RC 2020. hal-03005449.

H. C. Melgratti, C. A. Mezzina, I. Phillips, G. M. Pinna, I. Ulidowski: Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC 2020

I. Lanese and D. Medic: A General Approach to Derive Uncontrolled Reversible Semantics. CONCUR 2020. hal-03005374.

 

2019

G. Gössler and J.-B. Stefani. Causality Analysis and Fault Ascription in Component-Based Systems. INRIA research report RR-9279, hal-02161534v2.

G. Gössler, T. Mari, Y. Pencolé, and L. Travé-Massuyès. Towards Causal Explanations of Property Violations in Discrete Event Systems. DX 2019. hal-02369014.

I. Lanese, A. Palacios and G. Vidal. Causal-Consistent Replay Debugging for Message Passing Programs. FORTE 2019. hal-02313745.

I. Lanese, D. Sangiorgi and G. Zavattaro. Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming 2019. hal-02376217.

D. Medić. Relative expressiveness of calculi for reversible concurrency. EATCS Bulletin, 2019. hal-0237627.

L. Mikulski and I. Lanese. Reversing Unbounded Petri Nets. Petri Nets 2019. hal-02376158.

Comments are closed.