On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes | Publicación