Graph Generation to Statically Represent CSP Processes | Publicación