Abdallah, Rasha Mohammad.
(2011)
A concurrent program P = P1 || …|| Pk consists of k processes executing in parallel. These processes interact through shared memory or message passing. Concurrency introduces many complications, especially non-deterministic ...