LANESE, IVAN
LANESE, IVAN
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
revTPL: The Reversible Temporal Process Language
2024 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
The Reversible Temporal Process Language
2022 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
Towards a Taxonomy for Reversible Computation Approaches
2023 Glück, Robert; Lanese, Ivan; Mezzina, Claudio Antares; Miszczak, Jarosław Adam; Phillips, Iain; Ulidowski, Irek; Vidal, Germán
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
revTPL: The Reversible Temporal Process Language | 1-gen-2024 | Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji | |
The Reversible Temporal Process Language | 1-gen-2022 | Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji | |
Towards a Taxonomy for Reversible Computation Approaches | 1-gen-2023 | Glück, Robert; Lanese, Ivan; Mezzina, Claudio Antares; Miszczak, Jarosław Adam; Phillips, Iain; Ulidowski, Irek; Vidal, Germán |