I wonder is there any theory what "axiomatic set of concurrency primitives" exist and which are equivalent?