Point glueing in cpo-s

• Autorzy: Sokołowski S.

Warianty tytułu

PL

Sklejanie punktów w cpo-tach

• Języki publikacji: EN

Abstrakty

EN

This report explains how to factor partial orders to get quotient partial orders and how to factor cpo-s to get quotient cpo-s. This is supplemented by an important issue of collapsing the cpo-s to simpler ones. The motivations for this research come from investigations of concurrent processes addressed elsewhere. However, the article may be read independently of these motivations.

PL

W tej pracy wyjasniam jak dzielić porządki częściowe przez relacje równoważności, żeby otrzymać porządki częściowe oraz jak dzielić zupełne łańcuchowo porządki częściowe (cpo-ty) przez relacje równoważności, żeby otrzymać cpo-ty. Dalej omawiam ważne zagadnienie kolapsowania cpo-tów do prostszej postaci. Motywacje pochodzą z omawianych gdzie indziej badań procesów współbieżnych. Jednak niniejszy artykuł można czytać niezależnie od tych motywacji.

Słowa kluczowe

EN

collapse; concurrency; homotopy; algebraic topology

PL

współbieżność; homotopia; topologia algebraiczna

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 1998
• Tom: nr 863
• Strony: 3--22

Twórcy

autor

Sokołowski S.

• Polish Academy of Science Institute of Computer Science Gdańsk Division ul. Abrahama 18 81-825 Sopot, Poland