2001
Quantaloids for concurrency
ROSICKÝ, J.Základní údaje
Originální název
Quantaloids for concurrency
Autoři
Vydání
Applied categorical structures, Dordrecht, Kluwer, 2001, 0927-2852
Další údaje
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
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14310/01:00004657
Organizační jednotka
Přírodovědecká fakulta
UT WoS
Změněno: 16. 11. 2001 14:51, prof. RNDr. Jiří Rosický, DrSc.
Anotace
V originále
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ěr |
|