Applying a Concurrent Formal Framework to Process Modelling - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

J. A. Keane, Jin Sa, Brian Warboys. Applying a Concurrent Formal Framework to Process Modelling. In Maurice Naftalin, B. Tim Denvir, Miquel Bertran, editors, FME 94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings. Volume 873 of Lecture Notes in Computer Science, pages 291-305, Springer, 1994.

This author has not been identified. Look up 'J. A. Keane' in GoogleThis author has not been identified. Look up 'Jin Sa' in GoogleThis author has not been identified. Look up 'Brian Warboys' in Google

runs on WebDSL