Sfoglia per Autore
Model Checking Reversible Systems: Forwardly
2024 Dal Pio Luogo, Federico; Mezzina, CLAUDIO ANTARES; Michele Pinna, G.
revTPL: The Reversible Temporal Process Language
2024 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
Relating Reversible Petri Nets and Reversible Event Structures, Categorically
2023 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity
2023 Bernardo, M.; Mezzina, C. A.
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
2023 Bernardo, Marco; Mezzina, Claudio Antares
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, Robert; Lanese, Ivan; Mezzina, Claudio Antares; Miszczak, Jarosław Adam; Phillips, Iain; Ulidowski, Irek; Vidal, Germán
The Reversible Temporal Process Language
2022 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
A Petri net view of covalent bonds
2022 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
A distributed operational view of Reversible Prime Event Structures
2021 Melgratti, Hernan; Mezzina, Claudio Antares; Michele Pinna, G.
Causal Consistency for Reversible Multiparty Protocols
2021 Mezzina, Claudio Antares; Pérez, Jorge A.
Towards a Truly Concurrent Semantics for Reversible CCS
2021 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Foundations of Reversible Computation
2020 Aman, Bogdan; Ciobanu, Gabriel; Glück, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Mezzina, Claudio Antares; Mikulski, Łukasz; Nagarajan, Rajagopal; Phillips, Iain; Pinna, G. Michele; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germán
A parametric framework for reversible π-calculi
2020 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
Software and Reversible Systems: A Survey of Recent Activities
2020 Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Holm Cservenka, Martin; Lanese, Ivan; Mogensen, Torben Æ.; Siljak, Harun; Schultz, Ulrik P.; Ulidowski, Irek
Reversible Occurrence Nets and Causal Reversible Prime Event Structures
2020 Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek
Reversing Place Transition Nets
2020 Melgratti, Hernán; Mezzina, CLAUDIO ANTARES; Ulidowski, Irek
Towards Choreographic-Based Monitoring
2020 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Towards a Formal Account for Software Transactional Memory
2020 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
Towards Bridging Time and Causal Reversibility
2020 Bernardo, Marco; Mezzina, Claudio Antares
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model Checking Reversible Systems: Forwardly | 1-gen-2024 | Dal Pio Luogo, Federico; Mezzina, CLAUDIO ANTARES; Michele Pinna, G. | |
revTPL: The Reversible Temporal Process Language | 1-gen-2024 | Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji | |
Relating Reversible Petri Nets and Reversible Event Structures, Categorically | 1-gen-2023 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | |
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity | 1-gen-2023 | Bernardo, M.; Mezzina, C. A. | |
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach | 1-gen-2023 | Bernardo, Marco; Mezzina, Claudio Antares | |
Causal Reversibility Implies Time Reversibility | 1-gen-2023 | Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C. | |
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 | |
The Reversible Temporal Process Language | 1-gen-2022 | Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji | |
A Petri net view of covalent bonds | 1-gen-2022 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | |
A distributed operational view of Reversible Prime Event Structures | 1-gen-2021 | Melgratti, Hernan; Mezzina, Claudio Antares; Michele Pinna, G. | |
Causal Consistency for Reversible Multiparty Protocols | 1-gen-2021 | Mezzina, Claudio Antares; Pérez, Jorge A. | |
Towards a Truly Concurrent Semantics for Reversible CCS | 1-gen-2021 | Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele | |
Foundations of Reversible Computation | 1-gen-2020 | Aman, Bogdan; Ciobanu, Gabriel; Glück, Robert; Kaarsgaard, Robin; Kari, Jarkko; Kutrib, Martin; Lanese, Ivan; Mezzina, Claudio Antares; Mikulski, Łukasz; Nagarajan, Rajagopal; Phillips, Iain; Pinna, G. Michele; Prigioniero, Luca; Ulidowski, Irek; Vidal, Germán | |
A parametric framework for reversible π-calculi | 1-gen-2020 | Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko | |
Software and Reversible Systems: A Survey of Recent Activities | 1-gen-2020 | Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Holm Cservenka, Martin; Lanese, Ivan; Mogensen, Torben Æ.; Siljak, Harun; Schultz, Ulrik P.; Ulidowski, Irek | |
Reversible Occurrence Nets and Causal Reversible Prime Event Structures | 1-gen-2020 | Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek | |
Reversing Place Transition Nets | 1-gen-2020 | Melgratti, Hernán; Mezzina, CLAUDIO ANTARES; Ulidowski, Irek | |
Towards Choreographic-Based Monitoring | 1-gen-2020 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
Towards a Formal Account for Software Transactional Memory | 1-gen-2020 | Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko | |
Towards Bridging Time and Causal Reversibility | 1-gen-2020 | Bernardo, Marco; Mezzina, Claudio Antares |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile