LANESE, IVAN
LANESE, IVAN
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
Bounded Reversibility in HO$$\pi $$
2026 Lanese, Ivan; Mezzina, Claudio Antares; Vassor, Martin
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 |
|---|---|---|---|
| Bounded Reversibility in HO$$\pi $$ | 1-gen-2026 | Lanese, Ivan; Mezzina, Claudio Antares; Vassor, Martin | |
| 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 |