MEZZINA, CLAUDIO ANTARES
MEZZINA, CLAUDIO ANTARES
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.01 secondi).
revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE
2024 Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S.
Causal Reversibility Implies Time Reversibility
2023 Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C.
Towards a Taxonomy for Reversible Computation Approaches
2023 Glück R.; Lanese I.; Mezzina C.A.; Miszczak J.A.; Phillips I.; Ulidowski I.; Vidal G.
The Reversible Temporal Process Language
2022 Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE | Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S. | 2024-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | published.pdf |
| Causal Reversibility Implies Time Reversibility | Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C. | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper.pdf |
| Towards a Taxonomy for Reversible Computation Approaches | Glück R.; Lanese I.; Mezzina C.A.; Miszczak J.A.; Phillips I.; Ulidowski I.; Vidal G. | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | main.pdf |
| The Reversible Temporal Process Language | Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S. | 2022-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | timed.pdf |