Frank Dederichs

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Ketil Stølen, Frank Dederichs, Rainer Weber
Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. Formal Aspects Comput. 8 (2) (1996)
Frank Dederichs, Claus Dendorfer, Rainer Weber
FOCUS: A Formal Design Method for Distributed Systems. Parallel Computer Architectures (1993)
Ketil Stølen, Frank Dederichs, Rainer Weber
Assumption, commitment rules for networks of asynchronously communicating agents Forschungsberichte, TU Munich (1993)
Frank Dederichs, Rainer Weber
Reply to the Comments by Martín Abadi et al. Inf. Process. Lett. 40 (3) (1991)
Frank Dederichs, Rainer Weber
Safety and Liveness From a Methodological Point of View. Inf. Process. Lett. 36 (1) (1990)
Frank Dederichs
System and environmen: The philosophers revisited Forschungsberichte, TU Munich (1990)
Frank Dederichs, Rainer Weber
Sicherheit und Lebendigkeit - Das aktuelle Schlagwort. Inform. Spektrum 12 (6) (1989)