Results 1 -
1 of
1
Update Plans for Parallel Architectures
- Abstract Machine Models for Parallel and Distributed Computing
, 1996
"... 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 suggest ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
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.
