About 20 years ago engineers around the world began demonstrating what is still the greatest computer innovation of my lifetime, parallel processing. (For more on the concept, visit this course at the ...

Regular dynamic logic is extended by the program construct $\alpha \cap \beta $, meaning "α and β executed in parallel". In a semantics due to Peleg, each command α is interpreted as a set of pairs (s ...