Frank Dederichs

	1996
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)
	1993
4		Frank Dederichs, Claus Dendorfer, Rainer Weber: FOCUS: A Formal Design Method for Distributed Systems. Parallel Computer Architectures 1993: 190-202
	1991
3		Frank Dederichs, Rainer Weber: Reply to the Comments by Martín Abadi et al. Inf. Process. Lett. 40(3): 143 (1991)
	1990
2		Frank Dederichs, Rainer Weber: Safety and Liveness From a Methodological Point of View. Inf. Process. Lett. 36(1): 25-30 (1990)
	1989
1		Frank Dederichs, Rainer Weber: Sicherheit und Lebendigkeit - Das aktuelle Schlagwort. Informatik Spektrum 12(6): 342-343 (1989)

Coauthor Index

1	Claus Dendorfer	[4]
2	Ketil Stølen	[5]
3	Rainer Weber	[1] [2] [3] [4] [5]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page