CRAFA, SILVIA
CRAFA, SILVIA
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A Logic for True Concurrency
2010 Baldan, Paolo; Crafa, Silvia
A Logic for True Concurrency
2014 Baldan, Paolo; Crafa, Silvia
A spectrum of behavioral relations over LTSs on probability distributions
2011 Crafa, Silvia; Ranzato, Francesco
A Survey of Name-Passing Calculi and Crypto-PrimitivesFoundations of Security Analysis and Design II
2004 M., Bugliesi; G., Castagna; Crafa, Silvia; R., Forcardi; V., Sassone
A theory of noninterference for the pi-calculus
2005 Crafa, Silvia; S., Rossi
A type system for discretionary access control
2009 M., Bugliesi; D., Colazzo; Crafa, Silvia; D., Macedonio
Access control for mobile agents: the calculus of boxed ambients
2004 M., Bugliesi; G., Castagna; Crafa, Silvia
Actors vs Shared Memory: two models at work on Big Data application frameworks
2015 Crafa, Silvia; Tronchin, Luca
ALGOMOVE – A Move Embedding for Algorand
2023 Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spano', Alvise
Algorithmic Thinking for the Legal Writing: The Case of Italian Election Law
2024 Crafa, Silvia
An overview of Boxed Ambients
2002 G., Castagna; M., Bugliesi; Crafa, Silvia
Art Attach - The digital world with the language of art
2022 Crafa, S.
Art Attach - The digital world with the language of art: Relationships, between aesthetics and digital
2022 Crafa, S.
Artificial Intelligence and Human Dialogue
2019 Crafa, Silvia
Behavioural Types for Actor Systems
2012 Crafa, Silvia
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
2012 Crafa, Silvia; Ranzato, Francesco
Boxed Ambients
2001 M., Bugliesi; G., Castagna; Crafa, Silvia
Causality in concurrent systems
2013 Crafa, Silvia; Federica, Russo
Communication and mobility control in boxed ambients
2005 M., Bugliesi; Crafa, Silvia; M., Merro; V., Sassone
Communication Interference in Mobile Boxed Ambients
2002 M., Bugliesi; Crafa, Silvia; M., Merro; V., Sassone