Claus Dendorfer

According to our database, Claus Dendorfer authored at least 8 papers between 1990 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Methodik funktionaler Systementwicklung.

Claus Dendorfer

PhD thesis, 1995

1993

FOCUS: A Formal Design Method for Distributed Systems.

Frank Dederichs, Claus Dendorfer, Rainer Weber

Proceedings of the Parallel Computer Architectures: Theory, 1993

1992

Development and implementation of a communication protocol: an exercise in FOCUS

Claus Dendorfer, Rainer Weber

Forschungsberichte, TU Munich, 1992

Modelling Operating System Structures by Timed Stream Processing Functions.

Manfred Broy, Claus Dendorfer

J. Funct. Program., 1992

From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development.

Claus Dendorfer, Rainer Weber

Proceedings of the Protocol Specification, 1992

An Informal Introduction to the Design Method FOCUS.

Claus Dendorfer, Rainer Weber

Proceedings of the Formale Methoden für verteilte Systeme, 1992

1991

Funktionale Modellierung eines Postsystems

Claus Dendorfer

Forschungsberichte, TU Munich, 1991

1990

Functional modelling of operating sytem [system] structures by timed higher order stream processing functions

Manfred Broy, Claus Dendorfer

Forschungsberichte, TU Munich, 1990