Christie Marr

According to our database, Christie Marr authored at least 14 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Capturing Conflict and Confusion in CSP.

Christie Marr

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

A singleton failures semantics for Communicating Sequential Processes.

Christie Bolton, Jim Davies

Formal Aspects Comput., 2006

2005

A hierarchy of failures-based models: theory and application.

Christie Bolton, Gavin Lowe

Theor. Comput. Sci., 2005

Using the Alloy Analyzer to Verify Data Refinement in Z.

Christie Bolton

Proceedings of the REFINE 2005 Workshop, 2005

Adding Conflict and Confusion to CSP.

Christie Bolton

Proceedings of the FM 2005: Formal Methods, 2005

2004

Analyses of the Reverse Path Forwarding Routing Algorithm.

Christie Bolton, Gavin Lowe

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

A Hierarchy of Failures-Based Models.

Christie Bolton, Gavin Lowe

Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

On the Automatic Verification of Non-Standard Measures of Consistency.

Christie Bolton, Gavin Lowe

Proceedings of the 6th International Workshop on Formal Methods, 2003

2002

On the refinement of state-based and event-based models.

Christie Bolton

PhD thesis, 2002

A comparison of refinement orderings and their associated simulation rules.

Christie Bolton, Jim Davies

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Refinement in Object-Z and CSP.

Christie Bolton, Jim Davies

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2000

Activity Graphs and Processes.

Christie Bolton, Jim Davies

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Using Relational and Behavioural Semantics in the Verification of Object Models.

Christie Bolton, Jim Davies

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999

On the Refinement and Simulation of Data Types and Processes.

Christie Bolton, Jim Davies, Jim Woodcock

Proceedings of the Integrated Formal Methods, 1999