Christie Bolton

13 papers A 1B 4Journal 2Unranked 5

Year	Rank	Type	Title / Venue / Authors
2006	J	`jnl`	A singleton failures semantics for Communicating Sequential Processes. Formal Aspects Comput. Christie Bolton, Jim Davies
2005	J	`jnl`	A hierarchy of failures-based models: theory and application. Theor. Comput. Sci. Christie Bolton, Gavin Lowe
2005	B	`conf`	Adding Conflict and Confusion to CSP. FM Christie Bolton
2005	—	`conf`	Using the Alloy Analyzer to Verify Data Refinement in Z. REFINE Christie Bolton
2004	A	`conf`	Analyses of the Reverse Path Forwarding Routing Algorithm. DSN Christie Bolton, Gavin Lowe
2003	—	`conf`	A Hierarchy of Failures-Based Models. EXPRESS Christie Bolton, Gavin Lowe
2003	—	`conf`	On the Automatic Verification of Non-Standard Measures of Consistency. IWFM Christie Bolton, Gavin Lowe
2002	—	`conf`	A comparison of refinement orderings and their associated simulation rules. Refine Christie Bolton, Jim Davies
2002	—	`—`	On the refinement of state-based and event-based models. Christie Bolton
2002	B	`conf`	Refinement in Object-Z and CSP. IFM Christie Bolton, Jim Davies
2000	B	`conf`	Activity Graphs and Processes. IFM Christie Bolton, Jim Davies
2000	—	`conf`	Using Relational and Behavioural Semantics in the Verification of Object Models. FMOODS Christie Bolton, Jim Davies
1999	B	`conf`	On the Refinement and Simulation of Data Types and Processes. IFM Christie Bolton, Jim Davies, Jim Woodcock