Title :
A theory of conjunction and concurrency
Author_Institution :
Comput. Lab., Oxford Univ., UK
Abstract :
Some general conditions under which the specification of a concurrent system can be expressed as the conjunction of specifications for its component processes are explored. A lattice-theoretic fixed-point theorem about increasing functions is proved, and examples of its application in several areas of computing science are given. Some consequences are drawn for the design of concurrent algorithms, high-level programming languages, and fine-grained concurrent computer architectures
Keywords :
computer architecture; concurrency control; high level languages; parallel programming; programming theory; component processes; concurrency; concurrent algorithms; conjunction; fine-grained concurrent computer architectures; high-level programming languages; lattice-theoretic fixed-point theorem; specification; Algorithm design and analysis; Assembly; Computer architecture; Computer languages; Concurrent computing; Design engineering; Equations; Hardware; Laboratories; Software design;
Conference_Titel :
Databases, Parallel Architectures and Their Applications,. PARBASE-90, International Conference on
Conference_Location :
Miami Beach, FL
Print_ISBN :
0-8186-2035-8
DOI :
10.1109/PARBSE.1990.77155
