Sfoglia per Autore
A specification format for rooted branching bisimulation
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A function elimination method for checking satisfiability of arithmetical logics
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
2016-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Logical Characterization of Bisimulation Metrics
2016-01-01 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Modal Decomposition on Nondeterministic Probabilistic Processes
2016-01-01 Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes
2017-01-01 Castiglioni, Valentina
Logical Characterization of Trace Metrics
2017-01-01 Castiglioni, Valentina; Tini, Simone
SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES
2018-01-01 Castiglioni, Valentina; Gebler, Daniel; Tini:, Simone
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