Personal information

Italy

Activities

Employment (1)

Alma Mater Studiorum Universita' di Bologna: Bologna, Emilia-Romagna, IT

2021-11-01 to present | Dottorandi (DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA)
Employment
Source: check_circle
Alma Mater Studiorum Università di Bologna - IRIS

Works (3)

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives

Journal of Logical and Algebraic Methods in Programming
2024-04 | Journal article
Contributors: Pietro Lami; Ivan Lanese; Jean-Bernard Stefani; Claudio Sacerdoti Coen; Giovanni Fabbretti
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A Small-Step Semantics for Janus

2024-01-01 | Conference paper
EID:

2-s2.0-85195831307

WOSUID:

WOS:001289646200008

Source: check_circle
Alma Mater Studiorum Università di Bologna - IRIS
grade
Preferred source (of 2)‎

Reversibility in Erlang: Imperative Constructs

2022 | Book chapter
Contributors: Pietro Lami; Ivan Lanese; Jean-Bernard Stefani; Claudio Sacerdoti Coen; Giovanni Fabbretti
Source: check_circle
Crossref
grade
Preferred source (of 2)‎