Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. This article dives into the happens-before ...

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 ...