Bisimulation for Models in Concurrency - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mogens Nielsen, Christian Clausen. Bisimulation for Models in Concurrency. 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 385-400, Springer, 1994.

This author has not been identified. Look up 'Mogens Nielsen' in GoogleThis author has not been identified. Look up 'Christian Clausen' in Google

runs on WebDSL