A Characterization of LOTOS Representable Networks of Parallel Processes | Publicación