A relation algebraic approach to interaction categories (Q1961872)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A relation algebraic approach to interaction categories |
scientific article; zbMATH DE number 1394733
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A relation algebraic approach to interaction categories |
scientific article; zbMATH DE number 1394733 |
Statements
A relation algebraic approach to interaction categories (English)
0 references
21 June 2000
0 references
interaction categories
0 references
synchronization trees
0 references
concurrent system specifications
0 references
unitary division allegory
0 references
time-extended allegories
0 references
strongly guarded functors
0 references
0 references
