IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 63
Titolo Data di pubblicazione Autore(i) File
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities 1-gen-2026 Bernardo, Marco; Mezzina, Claudio A.; Esposito, Andrea
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 1-gen-2025 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio Antares
Relating Reversible Petri Nets and Reversible Event Structures, categorically 1-gen-2025 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Formalizing Errors in CCS with 3-Valued Logic 1-gen-2025 Aldini, Alessandro; Mezzina, Claudio Antares
Checkpoint-based rollback recovery in session programming 1-gen-2025 Mezzina, Claudio Antares; Tiezzi, Francesco; Yoshida, Nobuko
A Reversible Perspective on Petri Nets and Event Structures 1-gen-2024 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
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 Truly Concurrent Semantics for Reversible CCS 1-gen-2024 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Model Checking Reversible Systems: Forwardly 1-gen-2024 Dal Pio Luogo, Federico; Mezzina, CLAUDIO ANTARES; Michele Pinna, G.
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 1-gen-2023 Bernardo, M.; Mezzina, C. A.
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
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.
Rollback Recovery in Session-Based Programming 1-gen-2023 Mezzina, Claudio Antares; Tiezzi, Francesco; Yoshida, Nobuko
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 1-gen-2023 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
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
Mostrati risultati da 1 a 20 di 63
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