Christie Bolton

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Christie Bolton, Jim Davies
A singleton failures semantics for Communicating Sequential Processes. Formal Aspects Comput. 18 (2) (2006)
Christie Bolton
Using the Alloy Analyzer to Verify Data Refinement in Z. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Christie Bolton
Adding Conflict and Confusion to CSP. FM (2005)
Christie Bolton, Gavin Lowe
A hierarchy of failures-based models: theory and application. Theor. Comput. Sci. 330 (3) (2005)
Christie Bolton, Gavin Lowe
Analyses of the Reverse Path Forwarding Routing Algorithm. DSN (2004)
Christie Bolton, Gavin Lowe
On the Automatic Verification of Non-Standard Measures of Consistency. IWFM (2003)
Christie Bolton, Gavin Lowe
A Hierarchy of Failures-Based Models. EXPRESS (2003)
Christie Bolton, Jim Davies
A comparison of refinement orderings and their associated simulation rules. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Christie Bolton, Jim Davies
Refinement in Object-Z and CSP. IFM (2002)
Christie Bolton, Jim Davies
Using Relational and Behavioural Semantics in the Verification of Object Models. FMOODS (2000)
Christie Bolton, Jim Davies
Activity Graphs and Processes. IFM (2000)
Christie Bolton, Jim Davies, Jim Woodcock
On the Refinement and Simulation of Data Types and Processes. IFM (1999)