BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
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.

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.