CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
A tool for quantitative analysis of pi-calculus processes 1-gen-2000 Brodo, L; Degano, Pierpaolo; Priami, Corrado
Performance Evaluation for Global Computation 1-gen-2003 Brodo, Linda; Degano, Pierpaolo; Gilmore, S; Hillston, J; Priami, Corrado
Reflecting Mobile Ambients into the pi-calculus 1-gen-2003 Brodo, Linda; Degano, Pierpaolo; Priami, Corrado
Formal Executable Descriptions of Biological Systems 1-gen-2005 Brodo, Linda; Curti, M; Degano, Pierpaolo; Prandi, D; Quaglia, P.; Priami, Corrado
A stochastic semantics for BioAmbients 1-gen-2007 Brodo, Linda; Degano, Pierpaolo; Priami, Corrado
Verification of Reaction Systems Processes 1-gen-2023 Brodo, L.; Bruni, R.; Falaschi, M.
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 1-gen-2023 Brodo, L.; Bruni, R.; Falaschi, M.
Quantitative extensions of reaction systems based on SOS semantics 1-gen-2023 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Mostra risultati da 1 a 8 di 8
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