Compositional Non-interference for Concurrent Programs via Separation and Framing.

Aleksandr Karbyshev Kasper Svendsen Aslan Askarov Lars Birkedal

Published in: POST (2018)

Keyphrases

concurrent programs
concurrent programming
multipath
web applications
process algebra
concurrent processes
real time