A formal model of data structures and abstract algorithms for multi-processor computer systems

The article is concerned with specifics of data representation in multiprocessor computing systems and provides a formal models there the programming is regarded a s the mapping of abstract algorithms on physically implementable algorithms, or as the mapping of abstract data structures on the computer memory structure.