An Axiomatic Approach to the Specification of Distributed Computer Architectures

• Authors:

• Werner Damm;Gert Döhmen

• Affiliations:

• -;-

• Venue:
• Proceedings of the Parallel Architectures and Languages Europe, Volume I: Parallel Architectures PARLE
• Year:
• 1987