Pietro Lami

According to our database¹, Pietro Lami authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2024

A Small-Step Semantics for Janus.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 16th International Conference, 2024

2022

Reversibility in Erlang: Imperative Constructs.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 14th International Conference, 2022