RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 11 (tempo di esecuzione: 0.047 secondi).
Titolo Data di pubblicazione Autore(i) File
Aspects of multiscale modelling in a process algebra for biological systems 1-gen-2010 Barbuti, R.; Caravagna, G.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Automatic Analysis of the NRL Pump 1-gen-2004 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
Compositionality of Approximate Bisimulation for Probabilistic Systems 1-gen-2013 D., Gebler; Tini, Simone
Fixed-point characterization of compositionality properties of probabilistic processes combinators 1-gen-2014 Gebler, Daniel; Tini, Simone
Formal Models of Timing Attacks on Web Privacy 1-gen-2002 Focardi, R.; Gorrieri, R.; Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Martinelli, F.; Tini, Simone; Tronci, E.
Logical Characterization of Trace Metrics 1-gen-2017 Castiglioni, Valentina; Tini, Simone
Notes on Generative Probabilistic Bisimulation 1-gen-2007 Tini, Simone
On the Espressivenes of Timed Concurrent Constraint Programming 1-gen-1999 Tini, Simone
Privacy in Real Time Systems 1-gen-2002 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Projectable Semantics for Statecharts 1-gen-1998 MAGGIOLO SCHETTINI, A.; Tini, Simone
Risultati 1 - 10 di 11 (tempo di esecuzione: 0.047 secondi).
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • Atti di Convegno 11
  • Atti di Convegno::Relazione (in R... 11
Autore
  • LANOTTE, RUGGERO 3
  • CASTIGLIONI, VALENTINA 1
Data di pubblicazione
  • 2010 - 2017 4
  • 2000 - 2009 4
  • 1998 - 1999 3
Rivista
  • ELECTRONIC NOTES IN THEORETICAL C... 7
  • ELECTRONIC PROCEEDINGS IN THEORET... 4
Keyword
  • Bisimulation metric 1
  • Compositionality 1
  • Continuity 1
  • Probabilistic transition systems 1
  • Software 1
  • SOS 1
Lingua
  • eng 2
Accesso al fulltext
  • no fulltext 11