Sicherheit und Lebendigkeit - Das aktuelle Schlagwort. - Frank Dederichs; Rainer Weber (Inform. Spektrum, 1989)

Safety and Liveness From a Methodological Point of View. - Frank Dederichs; Rainer Weber (Inf. Process. Lett., 1990)

System and environmen: The philosophers revisited - Frank Dederichs (Forschungsberichte, TU Munich, 1990)

Reply to the Comments by Martín Abadi et al. - Frank Dederichs; Rainer Weber (Inf. Process. Lett., 1991)

Transformation verteilter Systeme: von applikativen zu prozeduralen Darstellungen. - Frank Dederichs (1992)

FOCUS: A Formal Design Method for Distributed Systems. - Frank Dederichs; Claus Dendorfer; Rainer Weber (Parallel Computer Architectures, 1993)

Assumption, commitment rules for networks of asynchronously communicating agents - Ketil Stølen; Frank Dederichs; Rainer Weber (Forschungsberichte, TU Munich, 1993)

Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. - Ketil Stølen; Frank Dederichs; Rainer Weber (Formal Aspects Comput., 1996)