Quantaloids for concurrency

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

Authors	ROSICKÝ J.
Year of publication	2001
Type	Article in Periodical
Magazine / Source	Applied categorical structures
MU Faculty or unit	Faculty of Science
Citation
Field	General mathematics
Description	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.
Related projects:	Mathematical structures of algebra and geometry