LAMI, PIETRO

LAMI, PIETRO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Dottorandi  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Small-Step Semantics for Janus Lami, P.; Lanese, I.; Stefani, J. -B. 2024-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno -
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni 2024-01-01 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 1.01 Articolo in rivista -
Reversibility in Erlang: Imperative Constructs Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G. 2022-01-01 - - 4.01 Contributo in Atti di convegno -