| Автор | SOKOŁOWSKI, STEFAN |
| Дата выпуска | 2002 |
| dc.description | We show a method for translating concurrent systems into partially ordered sets in a functorial way. This is done in a way resembling the construction of the fundamental groups in topology. Since the morphisms of concurrent systems have a flavour of the implementability of one system in another, the functor provides a tool for proving certain non-implementability results. |
| Издатель | Cambridge University Press |
| Название | Investigation of concurrent processes by means of homotopy functors This paper is a thoroughly revised and updated version of Sokołowski (1998a). |
| DOI | 10.1017/S0960129502003705 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 12 |
| Первая страница | 665 |
| Последняя страница | 699 |
| Аффилиация | SOKOŁOWSKI STEFAN; Polish Academy of Sciences |
| Выпуск | 5 |
