| 2007 |
|---|
| 13 | EE | Christie Marr:
Capturing Conflict and Confusion in CSP.
IFM 2007: 413-438 |
| 2006 |
|---|
| 12 | EE | Christie Bolton,
Jim Davies:
A singleton failures semantics for Communicating Sequential Processes.
Formal Asp. Comput. 18(2): 181-210 (2006) |
| 2005 |
|---|
| 11 | EE | Christie Bolton:
Adding Conflict and Confusion to CSP.
FM 2005: 205-220 |
| 10 | EE | Christie Bolton:
Using the Alloy Analyzer to Verify Data Refinement in Z.
Electr. Notes Theor. Comput. Sci. 137(2): 23-44 (2005) |
| 9 | EE | Christie Bolton,
Gavin Lowe:
A hierarchy of failures-based models: theory and application.
Theor. Comput. Sci. 330(3): 407-438 (2005) |
| 2004 |
|---|
| 8 | EE | Christie Bolton,
Gavin Lowe:
Analyses of the Reverse Path Forwarding Routing Algorithm.
DSN 2004: 485-494 |
| 7 | EE | Christie Bolton,
Gavin Lowe:
A Hierarchy of Failures-Based Models.
Electr. Notes Theor. Comput. Sci. 96: 129-152 (2004) |
| 2003 |
|---|
| 6 | EE | Christie Bolton,
Gavin Lowe:
On the Automatic Verification of Non-Standard Measures of Consistency.
IWFM 2003 |
| 2002 |
|---|
| 5 | EE | Christie Bolton,
Jim Davies:
Refinement in Object-Z and CSP.
IFM 2002: 225-244 |
| 4 | EE | Christie Bolton,
Jim Davies:
A comparison of refinement orderings and their associated simulation rules.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2000 |
|---|
| 3 | | Christie Bolton,
Jim Davies:
Using Relational and Behavioural Semantics in the Verification of Object Models.
FMOODS 2000: 163-182 |
| 2 | EE | Christie Bolton,
Jim Davies:
Activity Graphs and Processes.
IFM 2000: 77-96 |
| 1999 |
|---|
| 1 | | Christie Bolton,
Jim Davies,
Jim Woodcock:
On the Refinement and Simulation of Data Types and Processes.
IFM 1999: 273-292 |
