Quantaloids for concurrency

• 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
• 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