Pietro Lami

Orcid: 0000-0002-1841-387X

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Reversibility for Concurrent Memory Models. (Réversibilité pour les modèles de mémoires concurrentes).

[DOI]

PhD thesis, 2024

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.

[DOI]

J. Log. Algebraic Methods Program., 2024

A Small-Step Semantics for Janus.

[DOI]

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

2022

Reversibility in Erlang: Imperative Constructs.

[DOI]

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