Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs.

Robert Sison Toby Murray

Published in: CoRR (2020)

Keyphrases

concurrent programs
concurrent programming
web applications
process algebra
real time
databases
knowledge acquisition
web services composition
database
information systems
formal specification