Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth. Building blocks for distributed system design. In Michel Diaz, editor, Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. pages 19-38, North-Holland, 1985.
Abstract is missing.