On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Laura Recalde' in GoogleThis author has not been identified. Look up 'Enrique Teruel' in GoogleThis author has not been identified. Look up 'Manuel Silva 0001' in Google

runs on WebDSL