Sfoglia per Autore ESPOSITO, ANDREA
Mostrati risultati da 1 a 3 di 3
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 |
---|---|---|---|
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 3 di 3
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