Trace semantics via determinization (Q2341701)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trace semantics via determinization |
scientific article |
Statements
Trace semantics via determinization (English)
0 references
28 April 2015
0 references
coalgebra
0 references
Kleisli category
0 references
Eilenberg-Moore category
0 references
trace semantics
0 references
