Travelled to:1 × Denmark
1 × USA
1 × United Kingdom
3 × France
Collaborated with:J.Huang G.M.Reed P.J.Armstrong X.Wang R.Lazic M.Goldsmith T.Gibson-Robinson A.Boulgakov P.H.B.Gardiner J.R.Hulance D.M.Jackson J.B.Scattergood G.Lowe J.Ouaknine H.Palikareva J.Worrell
Talks about:check (3) csp (3) model (2) time (2) fdr (2) noninterfer (1) philosoph (1) sequenti (1) reachabl (1) properti (1)
Person: A. W. Roscoe
DBLP: Roscoe:A=_W=
Contributed to:
2014
2012
2006
20041995
1986Wrote 6 papers:
- TACAS-2014-Gibson-RobinsonABR #csp #named #refinement
- FDR3 — A Modern Refinement Checker for CSP (TGR, PJA, AB, AWR), pp. 187–201.
- CAV-2012-ArmstrongGLOPRW
- Recent Developments in FDR (PJA, MG, GL, JO, HP, AWR, JW), pp. 699–704.
- SAC-2006-HuangR
- Extending noninterference properties to the timed world (JH, AWR), pp. 376–383.
- IFM-2004-WangRL #csp #independence #reachability
- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption (XW, AWR, RL), pp. 247–266.
- 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.
- ICALP-1986-ReedR #communication #csp #process
- A Timed Model for Communicating Sequential Processes (GMR, AWR), pp. 314–323.