Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 144
Titolo Data di pubblicazione Autore(i) File
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, M.; Esposito, A.
Teaching and Learning Centers and Coordinated Technologies for an Effective Transition at COVID-19 Pandemic Time to Massive Distance Learning and Online Exams 1-gen-2023 Bernardo, Marco; Bontà, Edoardo
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach 1-gen-2023 Bernardo, Marco; Mezzina, Claudio Antares
Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, Marco; Rossi, Sabina
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems 1-gen-2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities 1-gen-2023 Bernardo, M.; Esposito, A.
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 1-gen-2023 Bernardo, M.; Mezzina, C. A.
Causal Reversibility Implies Time Reversibility 1-gen-2023 Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C.
MoodleMoot Italia 2022 (MMIT 2022) 1-gen-2022 Fiorentino, Giuseppe; Gallo, Pierpaolo; Rabellino, Sergio; Bernardo, Marco; De Waal, Paula
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent 1-gen-2022 Bernardo, Marco
Towards General Axiomatizations for Bisimilarity and Trace Semantics 1-gen-2021 Bernardo, Marco
Facing the COVID-19 Pandemic with Moodle, Collaborate, Smowl, Meet 1-gen-2020 Bernardo, Marco; Bontà, Edoardo
Special Issue of the Italian Conference on Theoretical Computer Science 2018 1-gen-2020 Aldini, Alessandro; Bernardo, Marco
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism 1-gen-2020 Bernardo, Marco
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions 1-gen-2020 Bernardo, Marco
Towards Bridging Time and Causal Reversibility 1-gen-2020 Bernardo, Marco; Mezzina, Claudio Antares
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults 1-gen-2019 Bernardo, Marco
Coherent Resolutions of Nondeterminism 1-gen-2019 Bernardo, Marco
Multidimensional Context Modeling Applied to Non-Functional Analysis of Software 1-gen-2019 Berardinelli, Luca; Bernardo, Marco; Cortellessa, Vittorio; Di Marco, Antinisca
Constructive Logical Characterizations of Bisimilarity for Reactive Probabilistic Systems 1-gen-2019 Bernardo, Marco; Miculan, Marino
Mostrati risultati da 1 a 20 di 144
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