Travelled to:1 × Denmark
1 × Portugal
Collaborated with:J.N.Reed B.Deianov G.M.Reed A.W.Roscoe P.H.B.Gardiner M.Goldsmith J.R.Hulance J.B.Scattergood
Talks about:model (2) check (2) philosoph (1) arbitrari (1) hierarch (1) deadlock (1) compress (1) topolog (1) network (1) control (1)
Person: D. M. Jackson
DBLP: Jackson:D=_M=
Contributed to:
1998
1995Wrote 2 papers:
- FASE-1998-ReedJDR #analysis #automation #formal method #modelling #network
- Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms (JNR, DMJ, BD, GMR), pp. 239–254.
- 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.