Laura Recalde, Enrique Teruel, Manuel Silva 0001. On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. In Jörg Desel, editor, Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, pages 279-293, Springer, 1995. [doi]
Abstract is missing.