Department of Computer Science; University of York
SVM HeaderParse 0.2
Heslington; York YO1 5DD; United Kingdom
SVM HeaderParse 0.1
This paper proposes Update Plans as a specification formalism for abstract machines for parallel architectures. Update Plans are a formal specification language for abstract and concrete machines. First results in using Update Plans to specify parallel architectures are illustrated, and some suggestions for further research are made.
user correction - Legacy Corrections
Abstract Machine Models for Parallel and Distributed Computing