Access Restriction

Author Osborne, Hugh
Source CiteSeerX
Content type Text
Publisher IOS Press
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Update Plan ♦ Formal Specification Language ♦ Specification Formalism ♦ Concrete Machine ♦ First Result ♦ Abstract Machine ♦ Parallel Architecture
Description 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.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1996-01-01
Publisher Institution Abstract Machine Models for Parallel and Distributed Computing