010 - Parallel computation in definitive models
Abstract
This paper describes an abstract machine model for parallel computation that exploits a programming paradigm based upon definitions. Proposed applications to the implementation of CAD systems, and to the modelling and simulation of concurrent systems are outlined. A brief comparison with alternative approaches to parallel computation is included.