A relation algebraic approach to interaction categories (Q1961872)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A relation algebraic approach to interaction categories |
scientific article |
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
