D. M. Jackson

According to our database, D. M. Jackson authored at least 3 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.

Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1995

Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ Dining Philosophers for Deadlock.

A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1991

Timed CSP: Theory and Practice.

Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe

Proceedings of the Real-Time: Theory in Practice, 1991