Quantaloids for concurrency
| Authors | |
|---|---|
| Year of publication | 2001 |
| Type | Article in Periodical |
| Magazine / Source | Applied categorical structures |
| MU Faculty or unit | |
| 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: |