![](/img/cover-not-exists.png)
Enforcing globally dependent flow policies in message-passing systems
Li, Ximeng, Nielson, Flemming, Nielson, Hanne RiisVolume:
54
Journal:
Journal of Computer Languages
DOI:
10.1016/j.cola.2019.100904
Date:
October, 2019
File:
PDF, 10.52 MB
2019