Local Nondeterminism in Asynchronously Communicating Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frank S. de Boer, M. van Hulst. Local Nondeterminism in Asynchronously Communicating Processes. In Marie-Claude Gaudel, Jim Woodcock, editors, FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Volume 1051 of Lecture Notes in Computer Science, pages 367-384, Springer, 1996.

This author has not been identified. It may be one of the following persons:

Frank S. de Boer

Look up 'Frank S. de Boer' in GoogleThis author has not been identified. Look up 'M. van Hulst' in Google

runs on WebDSL