mitives of programming and that parallel
composition of communicating sequential processes is a
fundamental program structuring method. When
combined with a development of Dijkstra'...
Show More
mitives of programming and that parallel
composition of communicating sequential processes is a
fundamental program structuring method. When
combined with a development of Dijkstra's guarded
command, these concepts are surprisingly versatile.
Their use is illustrated by sample solutions of a variety
of familiar programming exercises.
Key Words and Phrases: programming,
programming languages, programming primitives,
program structures, parallel programming, concurrency,
input, output, guarded commands, nondeterminacy,
coroutines, procedures, multiple entries, multiple exits,
classes, data representations, recursion, conditional
critical regions, monitors, iterative arrays
CR Categories: 4.20, 4.22, 4.3