Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 71
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Hereditary History-Preserving Bisimilarity: Logics and Automata 2014 BALDAN, PAOLOCRAFA, SILVIA LECTURE NOTES IN COMPUTER SCIENCE - Programming Languages and Systems 2014
Causality in concurrent systems 2013 CRAFA, SILVIA + - - -
Behavioural Types for Actor Systems 2012 CRAFA, SILVIA - - -
Event structure semantics of parallel extrusion in the pi-calculus. 2012 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Foundations of Software Science and Computational Structures
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 2012 CRAFA, SILVIARANZATO, FRANCESCO FORMAL METHODS IN SYSTEM DESIGN - -
Saving space in a time efficient simulation algorithm 2011 CRAFA, SILVIARANZATO, FRANCESCO + FUNDAMENTA INFORMATICAE - -
Probabilistic bisimulation and simulation algorithms by abstract interpretation 2011 CRAFA, SILVIARANZATO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Automata, Languages and Programming - 38th International Colloquium
A spectrum of behavioral relations over LTSs on probability distributions 2011 CRAFA, SILVIARANZATO, FRANCESCO LECTURE NOTES IN COMPUTER SCIENCE - Concurrency Theory - 22nd International Conference
A Logic for True Concurrency 2010 BALDAN, PAOLOCRAFA, SILVIA LECTURE NOTES IN COMPUTER SCIENCE - CONCUR 2010
Saving space in a time efficient simulation algorithm 2009 CRAFA, SILVIARANZATO, FRANCESCOTAPPARO, FRANCESCO - - 2009 Ninth International Conference on Application of Concurrency to System Design
A type system for discretionary access control 2009 CRAFA, SILVIA + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
PicNic - pi-calculus non-interference checker. (Tool paper) 2008 CRAFA, SILVIA + - - Proc. of the 8th International Conference on Application of Concurrency to System Design (ACSD'08)
Controlling information release in the π-calculus 2007 Crafa S. + INFORMATION AND COMPUTATION - -
Controlling information release in the pi-calculus. 2007 CRAFA, SILVIA + INFORMATION AND COMPUTATION - -
Compositional event structure semantics for the internal pi-calculus 2007 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Lecture Notes in Computer Science
P-congruences as noninterference for the pi-calculus. 2006 CRAFA, SILVIA + - - Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE
A theory of noninterference for the pi-calculus 2005 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Trustworthy Global Computing
Communication and mobility control in boxed ambients 2005 CRAFA, SILVIA + INFORMATION AND COMPUTATION - -
Type based discretionary access control 2004 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - CONCUR 2004 - Concurrency Theory
Access control for mobile agents: the calculus of boxed ambients 2004 CRAFA, SILVIA + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
Mostrati risultati da 41 a 60 di 71
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