Travelled to:1 × Denmark
Collaborated with:A.W.Roscoe P.H.B.Gardiner M.Goldsmith D.M.Jackson J.B.Scattergood
Talks about:check (2) philosoph (1) hierarch (1) deadlock (1) compress (1) model (1) dine (1) csp (1)
Person: J. R. Hulance
DBLP: Hulance:J=_R=
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.