| |
| 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) | |
| 1 | Claus Dendorfer | [4] |
| 2 | Ketil Stølen | [5] |
| 3 | Rainer Weber | [1] [2] [3] [4] [5] |