"Symbolic Semantics for Multiparty Interactions in the Link-Calculus."

Linda Brodo, Carlos Olarte (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics