Sign in
Discretionary Information Flow Control for Interaction-Oriented Specifications.
Alberto Lluch-Lafuente
Flemming Nielson
Hanne Riis Nielson
Published in:
Logic, Rewriting, and Concurrency (2015)
Keyphrases
</>
information flow control
human computer interaction
real time
formal specification
human robot interaction
interaction design
information retrieval
genetic algorithm
information systems
website
high level
user interaction
delay insensitive