Strand Spaces with Choice via a Process Algebra Semantics | Publicación