Strand spaces with choice via a process algebra semantics | Publicación