17.05.2007

O pewnym algebraicznym podejściu do definiowania losowych zachowań współbieżnych

Referat jest poświęcony definiowaniu działania systemów współbieżnych o zachowaniu losowym. Będzie to definiowanie polegające na opisywaniu działania systemu poprzez definiowanie możliwych przebiegów jego zachowania zwanych procesami, zbiorów takich przebiegów i ich charakterystyk probabilistycznych, gdzie każdy proces jest reprezentowany w niezależny od czasu globalnego czysto wewnętrzny sposób przez klasę izomorficznych poetykietowanych zbiorów częściowo uporządkowanych stanowiącą element pewnej algebry częściowej.