The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hartmann J. Genrich, Kurt Lautenbach. The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. In Gilles Kahn, editor, Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Volume 70 of Lecture Notes in Computer Science, pages 123-147, Springer, 1979.

This author has not been identified. Look up 'Hartmann J. Genrich' in GoogleThis author has not been identified. Look up 'Kurt Lautenbach' in Google

runs on WebDSL