Sfoglia per Autore
Hereditary History-Preserving Bisimilarity: Logics and Automata
2014 Baldan, Paolo; Crafa, Silvia
Causality in concurrent systems
2013 Crafa, Silvia; Federica, Russo
Behavioural Types for Actor Systems
2012 Crafa, Silvia
Event structure semantics of parallel extrusion in the pi-calculus.
2012 Crafa, Silvia; D., Varacca; N., Yoshida
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
2012 Crafa, Silvia; Ranzato, Francesco
Saving space in a time efficient simulation algorithm
2011 Crafa, Silvia; Ranzato, Francesco; Tapparo, F.
Probabilistic bisimulation and simulation algorithms by abstract interpretation
2011 Crafa, Silvia; Ranzato, Francesco
A spectrum of behavioral relations over LTSs on probability distributions
2011 Crafa, Silvia; Ranzato, Francesco
A Logic for True Concurrency
2010 Baldan, Paolo; Crafa, Silvia
Saving space in a time efficient simulation algorithm
2009 Crafa, Silvia; Ranzato, Francesco; Tapparo, Francesco
A type system for discretionary access control
2009 M., Bugliesi; D., Colazzo; Crafa, Silvia; D., Macedonio
PicNic - pi-calculus non-interference checker. (Tool paper)
2008 Crafa, Silvia; M., Mio; M., Miculan; C., Piazza; S., Rossi
Controlling information release in the π-calculus
2007 Crafa, S.; Rossi, Sabina
Controlling information release in the pi-calculus.
2007 Crafa, Silvia; S., Rossi
Compositional event structure semantics for the internal pi-calculus
2007 Crafa, Silvia; D., Varacca; N., Yoshida
P-congruences as noninterference for the pi-calculus.
2006 Crafa, Silvia; S., Rossi
A theory of noninterference for the pi-calculus
2005 Crafa, Silvia; S., Rossi
Communication and mobility control in boxed ambients
2005 M., Bugliesi; Crafa, Silvia; M., Merro; V., Sassone
Type based discretionary access control
2004 M., Bugliesi; D., Colazzo; Crafa, Silvia
Access control for mobile agents: the calculus of boxed ambients
2004 M., Bugliesi; G., Castagna; Crafa, Silvia
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