17.03.2005

Algebraic structures to study distributed systems

Ważnym narzędziem badania systemów tranzycji jest analiza zbioru regionów danego systemu tranzycji. Zbiór regionów może być wyposażony w strukturę posetu (tj. zbioru uporządkowanego) ortomodularnego i koherentnego. Zbadamy własności takich struktur. Dalej, zajmiemy się definicją kategorii takich struktur i problemem ich (ko)zupełności. Okazuje się, że z technicznego punktu widzenia warto badać nawet ogólniejsze struktury, tzn. rozmaitości Boolowskich oraz częściowych algebr Boole'a.