604495321

Abstrakcja programowania współbieżnego

Badanie abstrakcyjnych zadań programistycznych podlegających ustalonym regułom.

Nie jest studium systemów operacyjnych bądź systemów czasu rzeczywistego.

Techniki p.w. mogą być użyte w istniejących systemach (spełniających reguły). Składowe systemu wyłamujące się z reguł powinny być wyjątkowo starannie opisywane i implementowane.