LAMI, PIETRO
LAMI, PIETRO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Dottorandi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
A Small-Step Semantics for Janus
2024 Lami, P.; Lanese, I.; Stefani, J. -B.
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
2024 Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni
Reversibility in Erlang: Imperative Constructs
2022 Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G.
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 | - |