Claus Dendorfer

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Frank Dederichs, Claus Dendorfer, Rainer Weber
FOCUS: A Formal Design Method for Distributed Systems. Parallel Computer Architectures (1993)
Claus Dendorfer, Rainer Weber
From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. PSTV (1992)
Claus Dendorfer, Rainer Weber
Development and implementation of a communication protocol: an exercise in FOCUS Forschungsberichte, TU Munich (1992)
Claus Dendorfer, Rainer Weber
An Informal Introduction to the Design Method FOCUS. FBT (1992)
Manfred Broy, Claus Dendorfer
Modelling Operating System Structures by Timed Stream Processing Functions. J. Funct. Program. 2 (1) (1992)
Claus Dendorfer
Funktionale Modellierung eines Postsystems Forschungsberichte, TU Munich (1991)
Manfred Broy, Claus Dendorfer
Functional modelling of operating sytem [system] structures by timed higher order stream processing functions Forschungsberichte, TU Munich (1990)