Trace Refinement of Action Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph-Johan Back, Joakim von Wright. Trace Refinement of Action Systems. In Bengt Jonsson, Joachim Parrow, editors, CONCUR 94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Volume 836 of Lecture Notes in Computer Science, pages 367-384, Springer, 1994.

This author has not been identified. Look up 'Ralph-Johan Back' in GoogleThis author has not been identified. Look up 'Joakim von Wright' in Google

runs on WebDSL