Sfoglia per Autore  ESPOSITO, ANDREA

Opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Data di pubblicazione Autore(i) File
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco; Rossi, Sabina
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 1-gen-2024 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio A.
Noninterference Analysis of Reversible Probabilistic Systems 1-gen-2024 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, M.; Esposito, A.
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities 1-gen-2023 Bernardo, M.; Esposito, A.
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems 1-gen-2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Mostrati risultati da 1 a 6 di 6
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