C. Dendorfer

Summary of Case Studies in FOCUS-a Design Method for Distributed Systems 1

M. Broy, F. Dederichs, C. Dendorfer, 2003 .

Summary of Case Studies in FOCUS-a Design Method for Distributed Systems 1

M. Broy, F. Dederichs, C. Dendorfer, 2003 .

Development and Implementation of a Communication Protocol — An Exercise in F OCUS

C. Dendorfer, Rainer Weber, 1992 .

HOPSA — a High-level Programming Language for Parallel Computations

Manfred Broy, Ketil Stølen, Claus Dendorfer, 1993 .

The Design of Distributed Systems - An Introduction to FOCUS-revised version

Manfred Broy, Richard R. Weber, Matthew Fuchs, 1992 .

FOCUS: A Formal Design Method for Distributed Systems

Frank Dederichs, Rainer Weber, Claus Dendorfer, 1993, Parallel Computer Architectures.