Process algebra with guards | Publicación