dblp.uni-trier.dewww.uni-trier.de

D. J. Walker Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)