Quantaloids for concurrency

Warning

This publication doesn't include Faculty of Economics and Administration. 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:

You are running an old browser version. We recommend updating your browser to its latest version.