Travelled to:1 × Denmark
Collaborated with:A.W.Roscoe P.H.B.Gardiner M.Goldsmith J.R.Hulance D.M.Jackson
Talks about:check (2) philosoph (1) hierarch (1) deadlock (1) compress (1) model (1) dine (1) csp (1)
Person: J. B. Scattergood
DBLP: Scattergood:J=_B=
Contributed to:
1995Wrote 1 papers:
- TACAS-1995-RoscoeGGHJS #concurrent #csp #how #model checking
- Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock (AWR, PHBG, MG, JRH, DMJ, JBS), pp. 133–152.