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