Sfoglia per Autore ESPOSITO, ANDREA
Mostrati risultati da 1 a 11 di 11
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities
2026 Bernardo, Marco; Mezzina, Claudio A.; Esposito, Andrea
A Process Algebraic Theory of Reversible Concurrent Systems with Applications to Noninterference Analysis
2025 Esposito, Andrea
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets
2025 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio Antares
Noninterference Analysis of Deterministically Timed Reversible Systems
2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco; Rossi, Sabina
Noninterference Analysis of Stochastically Timed Reversible Systems
2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
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
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
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity
2023 Bernardo, M.; Esposito, A.
Mostrati risultati da 1 a 11 di 11
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