Consistent alternatives of parallelism with conflicts : two partial order semantics for shared variable concurrency / Wil Janssen, Mannes Poel, Job Zwiers

Consistent alternatives of parallelism with conflicts : two partial order semantics for shared variable concurrency / Wil Janssen, Mannes Poel, Job Zwiers