CRAFA, SILVIA

CRAFA, SILVIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 70 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A Logic for True Concurrency 2014 BALDAN, PAOLOCRAFA, SILVIA JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
A Logic for True Concurrency 2010 BALDAN, PAOLOCRAFA, SILVIA LECTURE NOTES IN COMPUTER SCIENCE - CONCUR 2010
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 Survey of Name-Passing Calculi and Crypto-PrimitivesFoundations of Security Analysis and Design II 2004 CRAFA, SILVIA + - LECTURE NOTES IN COMPUTER SCIENCE Foundations of Security Analysis and Design IILecture Notes in Computer ScienceFoundations of Security Analysis and Design II
A theory of noninterference for the pi-calculus 2005 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Trustworthy Global Computing
A type system for discretionary access control 2009 CRAFA, SILVIA + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
Access control for mobile agents: the calculus of boxed ambients 2004 CRAFA, SILVIA + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
Actors vs Shared Memory: two models at work on Big Data application frameworks 2015 CRAFA, SILVIATRONCHIN, LUCA - - -
ALGOMOVE – A Move Embedding for Algorand 2023 michele bugliesisilvia crafa + - - 2023 IEEE International Conference on Blockchain (Blockchain)
An overview of Boxed Ambients 2002 CRAFA, SILVIA + ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - Electronic Notes in Theoretical Computer Science
Art Attach - The digital world with the language of art 2022 Crafa S. MONDO DIGITALE - -
Art Attach - The digital world with the language of art: Relationships, between aesthetics and digital 2022 Crafa S. MONDO DIGITALE - -
Artificial Intelligence and Human Dialogue 2019 crafa JOURNAL OF ETHICS AND LEGAL TECHNOLOGIES - -
Behavioural Types for Actor Systems 2012 CRAFA, SILVIA - - -
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 2012 CRAFA, SILVIARANZATO, FRANCESCO FORMAL METHODS IN SYSTEM DESIGN - -
Boxed Ambients 2001 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Theoretical Aspects of Computer Software
Causality in concurrent systems 2013 CRAFA, SILVIA + - - -
Communication and mobility control in boxed ambients 2005 CRAFA, SILVIA + INFORMATION AND COMPUTATION - -
Communication Interference in Mobile Boxed Ambients 2002 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Compositional event structure semantics for the internal pi-calculus 2007 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Lecture Notes in Computer Science