IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 57
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.
Reversibility in Process Calculi with Nondeterminism and Probabilities 1-gen-2024 Bernardo, Marco; Mezzina, Claudio A.
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 1-gen-2024 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio A.
revTPL: The Reversible Temporal Process Language 1-gen-2024 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
A Reversible Perspective on Petri Nets and Event Structures 1-gen-2024 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 1-gen-2023 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
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
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 1-gen-2023 Bernardo, M.; Mezzina, C. A.
Rollback Recovery in Session-Based Programming 1-gen-2023 Mezzina, Claudio Antares; Tiezzi, Francesco; Yoshida, Nobuko
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.
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
Static versus dynamic reversibility in CCS 1-gen-2021 Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares
A distributed operational view of Reversible Prime Event Structures 1-gen-2021 Melgratti, Hernan; Mezzina, Claudio Antares; Michele Pinna, G.
Towards a Truly Concurrent Semantics for Reversible CCS 1-gen-2021 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Causal Consistency for Reversible Multiparty Protocols 1-gen-2021 Mezzina, Claudio Antares; Pérez, Jorge A.
Reversing Place Transition Nets 1-gen-2020 Melgratti, Hernán; Mezzina, CLAUDIO ANTARES; Ulidowski, Irek
Towards a Formal Account for Software Transactional Memory 1-gen-2020 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
A parametric framework for reversible π-calculi 1-gen-2020 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
Mostrati risultati da 1 a 20 di 57
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