Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuan Liu, Baowen Xu, Zhenqiang Chen. Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra. In Chris George, Huaikou Miao, editors, Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Volume 2495 of Lecture Notes in Computer Science, pages 262-274, Springer, 2002. [doi]

This author has not been identified. Look up 'Yuan Liu' in GoogleThis author has not been identified. Look up 'Baowen Xu' in GoogleThis author has not been identified. Look up 'Zhenqiang Chen' in Google

runs on WebDSL