"Composing Interfering Abstract Protocols."

Filipe Militão, Jonathan Aldrich, Luís Caires (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics