Další formáty:
BibTeX
LaTeX
RIS
@article{375952, author = {Rosický, J.}, article_location = {Dordrecht}, article_number = {9}, language = {eng}, issn = {0927-2852}, journal = {Applied categorical structures}, title = {Quantaloids for concurrency}, volume = {2001}, year = {2001} }
TY - JOUR ID - 375952 AU - Rosický, J. PY - 2001 TI - Quantaloids for concurrency JF - Applied categorical structures VL - 2001 IS - 9 SP - 329 EP - 329 PB - Kluwer SN - 09272852 N2 - 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. ER -
ROSICKÝ, J. Quantaloids for concurrency. \textit{Applied categorical structures}. Dordrecht: Kluwer, roč.~2001, č.~9, s.~329-338. ISSN~0927-2852. 2001.
|