An Axiomatic Approach to the Specification of Distributed Computer Architectures

Werner Damm, Gert Döhmen. An Axiomatic Approach to the Specification of Distributed Computer Architectures. In J. W. de Bakker, A. J. Nijman, Philip C. Treleaven, editors, PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Volume 258 of Lecture Notes in Computer Science, pages 103-120, Springer, 1987.

Authors

Werner Damm

This author has not been identified. Look up 'Werner Damm' in Google

Gert Döhmen

This author has not been identified. Look up 'Gert Döhmen' in Google