Quantaloids for concurrency

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	ROSICKÝ J.
Rok publikování	2001
Druh	Článek v odborném periodiku
Časopis / Zdroj	Applied categorical structures
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
Obor	Obecná matematika
Popis	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.
Související projekty:	Matematické struktury algebry a geometrie