Please read our student and staff community guidance on COVID-19
Skip to main content Skip to navigation

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.

Download