Christie Bolton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1999–2005
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | FM | Adding Conflict and Confusion to CSP. | Christie Bolton |
| 2004 | DSN | Analyses of the Reverse Path Forwarding Routing Algorithm. | Christie Bolton, Gavin Lowe |
| 2002 | IFM | Refinement in Object-Z and CSP. | Christie Bolton, Jim Davies |
| 2000 | IFM | Activity Graphs and Processes. | Christie Bolton, Jim Davies |
| 1999 | IFM | On the Refinement and Simulation of Data Types and Processes. | Christie Bolton, Jim Davies, Jim Woodcock |