C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Information flow safety in multiparty sessions.
Sara Capecchi
Ilaria Castellani
Mariangiola Dezani-Ciancaglini
Published in:
Math. Struct. Comput. Sci. (2016)
Keyphrases
</>
information flow
multi party
privacy preserving
social networks
flow graph
supply chain
information flows
flow analysis
information security
communication networks
description language
functional modules
human communication
turn taking
reactive systems
domain independent
state space
case study