Requirement and Design Specification for Distributed Systems.

Manfred Broy

Browse the full CONCUR paper archive.