BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Roscoe:A=_W=

Contributed to:

TACAS 20142014
CAV 20122012
SAC 20062006
IFM 20042004
TACAS 19951995
ICALP 19861986

Wrote 6 papers:

TACAS-2014-Gibson-RobinsonABR #csp #named #refinement
FDR3 — A Modern Refinement Checker for CSP (TGR, PJA, AB, AWR), pp. 187–201.
Recent Developments in FDR (PJA, MG, GL, JO, HP, AWR, JW), pp. 699–704.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.