Bill Roscoe (A.W. Roscoe)
Bill Roscoe (A.W. Roscoe)
Professor of Computer Science, Oxford University
Verifierad e-postadress på cs.ox.ac.uk - Startsida
TitelCiteras avÅr
The Theory and Practice of Concurrency. international series in computer science
AW Roscoe
Prentice-Hall, 1997
2645*1997
A theory of communicating sequential processes
SD Brookes, CAR Hoare, AW Roscoe
Journal of the ACM (JACM) 31 (3), 560-599, 1984
16491984
Modelling and Analysis of Security Protocols: the CSP approach
P Ryan, S Schneider, M Goldsmith, G Lowe, B Roscoe
Addison Wesley, 2001
7492001
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
5361987
Model− checking CSP
B Roscoe
A classical Mind, Essays in honour of C.A.R. Hoare, 1994
4251994
A timed model for communicating sequential processes
AW Roscoe, GM Reed
Theoretical Computer Science 58, 1988
4151988
Understanding concurrent systems
AW Roscoe
Springer-Verlag New York Inc, 2010
3882010
An improved failures model for communicating processes
SD Brookes, AW Roscoe
International Conference on Concurrency, 281-305, 1984
354*1984
The laws of occam programming
AW Roscoe, CAR Hoare
Theoretical Computer Science 60 (2), 177-229, 1988
3211988
A timed model for communicating sequential processes
GM Reed, AW Roscoe
International Colloquium on Automata, Languages, and Programming, 314-323, 1986
3211986
Modelling and verifying key-exchange protocols using CSP and FDR
AW Roscoe
Proceedings The Eighth IEEE Computer Security Foundations Workshop, 98-107, 1995
2881995
Using CSP to detect errors in the TMN protocol
G Lowe, B Roscoe
Software Engineering, IEEE Transactions on 23 (10), 659-669, 1997
2751997
CSP and determinism in security modelling
AW Roscoe
Proceedings 1995 IEEE Symposium on Security and Privacy, 114-127, 1995
2601995
FDR3—A Modern Refinement Checker for CSP
T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe
TACAS, 2014
2192014
Star covering properties
EK Van Douwen, GM Reed, AW Roscoe, IJ Tree
Topology and its Applications 39 (1), 71-103, 1991
1941991
A theory of communicating sequential processes
CAR Hoare, SD Brookes, AW ROSCOE
Report PRG-16, Programming Research Group, Oxford, 1981
194*1981
A classical mind: essays in honour of CAR Hoare
B Roscoe
189*1994
FDR2 User Manual
MH Goldsmith, AW Roscoe, P Armstrong, P Gardiner, DM Jackson, ...
Formal Systems (Europe) Ltd, 0
171*
Non-interference through determinism
AW Roscoe, JCP Woodcock, L Wulf
European Symposium on Research in Computer Security, 31-53, 1994
1591994
Concepts of digital topology
B Roscoe
Topology and its Applications 46, 1992
1591992
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20