On the Refinement and Simulation of Data Types and Processes. - Christie Bolton; Jim Davies; Jim Woodcock 001 (IFM, 1999)

Using Relational and Behavioural Semantics in the Verification of Object Models. - Christie Bolton; Jim Davies (FMOODS, 2000)

Activity Graphs and Processes. - Christie Bolton; Jim Davies (IFM, 2000)

Refinement in Object-Z and CSP. - Christie Bolton; Jim Davies (IFM, 2002)

A comparison of refinement orderings and their associated simulation rules. - Christie Bolton; Jim Davies (Refine, 2002)

On the refinement of state-based and event-based models. - Christie Bolton (2002)

On the Automatic Verification of Non-Standard Measures of Consistency. - Christie Bolton; Gavin Lowe (IWFM, 2003)

A Hierarchy of Failures-Based Models. - Christie Bolton; Gavin Lowe (EXPRESS, 2003)

Analyses of the Reverse Path Forwarding Routing Algorithm. - Christie Bolton; Gavin Lowe (DSN, 2004)

Adding Conflict and Confusion to CSP. - Christie Bolton (FM, 2005)

Using the Alloy Analyzer to Verify Data Refinement in Z. - Christie Bolton (REFINE, 2005)

A hierarchy of failures-based models: theory and application. - Christie Bolton; Gavin Lowe (Theor. Comput. Sci., 2005)

A singleton failures semantics for Communicating Sequential Processes. - Christie Bolton; Jim Davies (Formal Aspects Comput., 2006)

Capturing Conflict and Confusion in CSP. - Christie Marr (IFM, 2007)