dblp.uni-trier.dewww.uni-trier.de

Christie Marr

Christie Bolton

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)