No label defined (Q4585069)
From MaRDI portal
scientific article; zbMATH DE number 6932683
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 6932683 |
Statements
6 September 2018
0 references
category theory
0 references
coalgebra
0 references
simulation
0 references
trace semantics
0 references
infinite trace
0 references
