| |
| 1990 | ||
|---|---|---|
| 4 | D. J. Walker: Bisimulation and Divergence Inf. Comput. 85(2): 202-241 (1990) | |
| 1989 | ||
| 3 | D. J. Walker: Automated Analysis of Mutual Exclusion Algorithms using CCS. Formal Asp. Comput. 1(3): 273-292 (1989) | |
| 1988 | ||
| 2 | D. J. Walker: Bisimulations and Divergence LICS 1988: 186-192 | |
| 1 | D. J. Walker: On the Transversal Hypothesis and the Weak Kurepa Hypothesis. J. Symb. Log. 53(3): 854-877 (1988) | |