Frank Dederichs (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Ketil Stølen, Frank Dederichs, Rainer Weber: Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. Formal Asp. Comput. 8(2): 127-161 (1996)

4 Frank Dederichs, Claus Dendorfer, Rainer Weber: FOCUS: A Formal Design Method for Distributed Systems. Parallel Computer Architectures 1993: 190-202

3 Frank Dederichs, Rainer Weber: Reply to the Comments by Martín Abadi et al. Inf. Process. Lett. 40(3): 143 (1991)

2 Frank Dederichs, Rainer Weber: Safety and Liveness From a Methodological Point of View. Inf. Process. Lett. 36(1): 25-30 (1990)

1 Frank Dederichs, Rainer Weber: Sicherheit und Lebendigkeit - Das aktuelle Schlagwort. Informatik Spektrum 12(6): 342-343 (1989)

Selection of 5 from 5 records - Frank Dederichs has 3 coauthors

5		Ketil Stølen, Frank Dederichs, Rainer Weber: Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. Formal Asp. Comput. 8(2): 127-161 (1996)
4		Frank Dederichs, Claus Dendorfer, Rainer Weber: FOCUS: A Formal Design Method for Distributed Systems. Parallel Computer Architectures 1993: 190-202
3		Frank Dederichs, Rainer Weber: Reply to the Comments by Martín Abadi et al. Inf. Process. Lett. 40(3): 143 (1991)
2		Frank Dederichs, Rainer Weber: Safety and Liveness From a Methodological Point of View. Inf. Process. Lett. 36(1): 25-30 (1990)
1		Frank Dederichs, Rainer Weber: Sicherheit und Lebendigkeit - Das aktuelle Schlagwort. Informatik Spektrum 12(6): 342-343 (1989)