ROSICKÝ, J. Quantaloids for concurrency. Applied categorical structures. Dordrecht: Kluwer, roč. 2001, č. 9, s. 329-338. ISSN 0927-2852. 2001.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Quantaloids for concurrency
Autoři ROSICKÝ, J.
Vydání Applied categorical structures, Dordrecht, Kluwer, 2001, 0927-2852.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10101 Pure mathematics
Stát vydavatele Nizozemské království
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.200
Kód RIV RIV/00216224:14310/01:00004657
Organizační jednotka Přírodovědecká fakulta
UT WoS 000170047600001
Změnil Změnil: prof. RNDr. Jiří Rosický, DrSc., učo 2634. Změněno: 16. 11. 2001 14:51.
Anotace
S.Abramsky has introduced interaction categories as a new semantics for concurrent computation. We show that they can be conveniently described in the language of quantaloids.
Návaznosti
MSM 143100009, záměrNázev: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie
VytisknoutZobrazeno: 29. 3. 2024 11:16