Structuring Protocols using Exceptions in a LOTOS Extension | Publicación