D. M. Jackson

Publication Activity (10 Years)

Years Active: 1991-1998
Publications (10 Years): 0

Publications

Joy N. Reed, D. M. Jackson, B. Deianov, George M. Reed
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. FASE (1998)
A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood
Dining Philosophers for Deadlock. TACAS (1995)
Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe
Timed CSP: Theory and Practice. REX Workshop (1991)