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.

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.