■ Instrukcje atomowe wchodzące w skład wszystkich procesów programu współbieżnego przeplatają się między sobą.
■ Możliwe są dowolne, dopuszczalne kombinacje ciągu wykonań instrukcji.
■ Jeżeli rozważymy przypadek dwóch instrukcji 11 i I2 w dwóch procesach P1 i P2, to muszą one spełniać warunek:
koniec(II) <= początek(12)
■ Zakłada się, że procesory realizujące procesy programu współbieżnego mogą działać z różną szybkością. Pozwala to zwiększyć losowość przeplotu.
Podstawowe pojęcia programowania współbieżnego 21