Pietro Lami

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Logical Language

Fault Localization

Measurement Data

Top Venues

J. Log. Algebraic Methods Program.

Publications

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani
A Small-Step Semantics for Janus. RC (2024)
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. J. Log. Algebraic Methods Program. 138 (2024)
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
Reversibility in Erlang: Imperative Constructs. RC (2022)