A semantic framework for the recursive specification of interaction protocols | Publicación