J. Bryan Scattergood

According to our database, J. Bryan Scattergood authored at least 2 papers between 1995 and 1998.

Collaborative distances:

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

1998

The semantics and implementation of machine-readable CSP.

J. Bryan Scattergood

PhD thesis, 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