"Enforcing globally dependent flow policies in message-passing systems."

Ximeng Li, Flemming Nielson, Hanne Riis Nielson (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics