Specification and top down design of distributed systems
Authors:
M Broy
Affiliations:
-
Venue:
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)