Frank Dederichs

According to our database, Frank Dederichs authored at least 8 papers between 1989 and 1996.

Collaborative distances:

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

1996

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

1993

Assumption, commitment rules for networks of asynchronously communicating agents

Ketil Stølen, Frank Dederichs, Rainer Weber

Forschungsberichte, TU Munich, 1993

FOCUS: A Formal Design Method for Distributed Systems.

Frank Dederichs, Claus Dendorfer, Rainer Weber

Proceedings of the Parallel Computer Architectures: Theory, 1993

1992

Transformation verteilter Systeme: von applikativen zu prozeduralen Darstellungen.

Frank Dederichs

PhD thesis, 1992

1991

Reply to the Comments by Martín Abadi et al.

Frank Dederichs, Rainer Weber

Inf. Process. Lett., 1991

1990

System and environmen: The philosophers revisited

Frank Dederichs

Forschungsberichte, TU Munich, 1990

Safety and Liveness From a Methodological Point of View.

Frank Dederichs, Rainer Weber

Inf. Process. Lett., 1990

1989

Sicherheit und Lebendigkeit - Das aktuelle Schlagwort.

Frank Dederichs, Rainer Weber

Inform. Spektrum, 1989