1 Answers
There are two types of program incompatibilities, “Global” incompatibilities, and “Domain-specific” incompatibilities.
You can define a concurrent program to be globally incompatible with another program — that is, the two programs cannot be run simultaneously at all; or you can define a concurrent program to be incompatible with another program in a Conflict Domain. Conflict domains are abstract representations of groups of data. They can correspond to other group identifiers, such as sets of books, or they can be arbitrary.