David Bolton

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

Publications

Julie A. McCann, N. J. Williams, Peter Osmon, David Bolton
Dynamic File Migration to Support Parallel Database Systems. MASCOTS (1995)
Paul Anderson, David Bolton, Paul H. J. Kelly
Paragon specifications: Structure, analysis and implementation. Future Gener. Comput. Syst. 10 (1) (1994)
David Bolton, Sara Jones, David Till, David Furber, Stewart Green
Knowledge-Based Support for Requirements Engineering. Int. J. Softw. Eng. Knowl. Eng. 2 (2) (1992)
Paul Anderson, David Bolton, Paul H. J. Kelly
Paragon Specifications: Structure, Analysis and Implementation. PARLE (1992)
David Bolton
An Operational Semantics for Paragon: A Design Notation for Parallel Architectures. New Gener. Comput. 9 (2) (1991)
David Bolton, Chris Hankin, Paul H. J. Kelly
Parallel object-oriented descriptions of graph reduction machines. Future Gener. Comput. Syst. 6 (3) (1990)
David Bolton, Chris Hankin, Paul H. J. Kelly
Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). PARLE (1) (1989)