IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 52
Titolo Data di pubblicazione Autore(i) File
revTPL: The Reversible Temporal Process Language 1-gen-2024 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
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.
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.
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
Causal Consistency for Reversible Multiparty Protocols 1-gen-2021 Mezzina, Claudio Antares; Pérez, Jorge A.
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
A parametric framework for reversible π-calculi 1-gen-2020 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
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
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
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
Towards Bridging Time and Causal Reversibility 1-gen-2020 Bernardo, Marco; Mezzina, Claudio Antares
Towards a Formal Account for Software Transactional Memory 1-gen-2020 Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
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
Testing for Coordination Fidelity 1-gen-2019 Alrahman, Yehia Abd; Mezzina, Claudio Antares; Vieira, Hugo Torres
Mostrati risultati da 1 a 20 di 52
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