February 2019
Intermediate to advanced
672 pages
16h 50m
English
It is quite common for a concurrent program to implement some sort of ordering between the different processes in its execution. For example, consider a program that has three separate processes, as follows:
Furthermore, these three process need to utilize the same resources in order to execute their respective instructions.
Intuitively, we have every reason to implement a specification that allows the first ...