Bill Roscoe

发表

Notes on Domain Theory

Bill Roscoe, 1989 .

The successes and failures of behavioural models

Bill Roscoe, B. Roscoe, 2000 .

Reverse authentication in financial transactions

Bill Roscoe, 2010, IWSEC 2010.

On the expressive power of CSP extended by priority

Bill Roscoe, B. Roscoe, 2014 .

Slow abstraction through priority

Bill Roscoe, B. Roscoe, 2013 .

Data independence with predicate symbols

Bill Roscoe, B. Roscoe, 1999 .

Insight‚ innovation and collaboration

Bill Roscoe, B. Roscoe, 2010 .

Transforming occam programs

Bill Roscoe, B. Roscoe, 1988 .

Internalising Agents in CSP Protocol Models

Bill Roscoe, 2002 .

Model checking cryptographic protocols subject to combinatorial attack

Bill Roscoe, 2012 .

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Márcio Cornélio, Bill Roscoe, 2016 .

A semantic model for occam II

Bill Roscoe, B. Roscoe, 1991 .

Maintaining consistency in distributed databases

Bill Roscoe, Bill Roscoe, B. Roscoe, 1990 .

Denotational semantics for occam2‚ Part 2

Bill Roscoe, B. Roscoe, 1994 .

Research Directions for Trust and Security in Human-Centric Computing

Sadie Creese, Michael Goldsmith, Irfan Zakiuddin, 2005 .

Temporal signature (Draft)

Bill Roscoe, B. Roscoe, 2017 .

Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare (Cornerstones of computing)

Jim Woodcock, Jim Davies, Bill Roscoe, 2000 .