Abstract
Platform projection semantics extends projection semantics by means
of the encapsulation of a processor used for program execution. Platform
projection semantics abstracts from platform specific details. For a given
program its platform projection semantics may be platform-independent.
Two forms of platform projection semantics (PPS) are distinguished: behavioral
PPS and functional PPS. Using a combination of
... read more
