A Formal Semantics for Concurrent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

M. W. Shields, Peter E. Lauer. A Formal Semantics for Concurrent Systems. In Hermann A. Maurer, editor, Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Volume 71 of Lecture Notes in Computer Science, pages 571-584, Springer, 1979.

This author has not been identified. Look up 'M. W. Shields' in GoogleThis author has not been identified. Look up 'Peter E. Lauer' in Google

runs on WebDSL