Christie Marr

Christie Bolton

	2007
13		Christie Marr: Capturing Conflict and Confusion in CSP. IFM 2007: 413-438
	2006
12		Christie Bolton, Jim Davies: A singleton failures semantics for Communicating Sequential Processes. Formal Asp. Comput. 18(2): 181-210 (2006)
	2005
11		Christie Bolton: Adding Conflict and Confusion to CSP. FM 2005: 205-220
10		Christie Bolton: Using the Alloy Analyzer to Verify Data Refinement in Z. Electr. Notes Theor. Comput. Sci. 137(2): 23-44 (2005)
9		Christie Bolton, Gavin Lowe: A hierarchy of failures-based models: theory and application. Theor. Comput. Sci. 330(3): 407-438 (2005)
	2004
8		Christie Bolton, Gavin Lowe: Analyses of the Reverse Path Forwarding Routing Algorithm. DSN 2004: 485-494
7		Christie Bolton, Gavin Lowe: A Hierarchy of Failures-Based Models. Electr. Notes Theor. Comput. Sci. 96: 129-152 (2004)
	2003
6		Christie Bolton, Gavin Lowe: On the Automatic Verification of Non-Standard Measures of Consistency. IWFM 2003
	2002
5		Christie Bolton, Jim Davies: Refinement in Object-Z and CSP. IFM 2002: 225-244
4		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		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

Coauthor Index

1	Jim Davies	[1] [2] [3] [4] [5] [12]
2	Gavin Lowe	[6] [7] [8] [9]
3	Jim Woodcock (J. C. P. Woodcock)	[1]