Generic Trace Semantics and Graded Monads. (Q5275355)
From MaRDI portal
scientific article; zbMATH DE number 6741752
Language | Label | Description | Also known as |
---|---|---|---|
English | Generic Trace Semantics and Graded Monads. |
scientific article; zbMATH DE number 6741752 |
Statements
11 July 2017
0 references
transition systems
0 references
monads
0 references
coalgebra
0 references
trace logics
0 references
Generic Trace Semantics and Graded Monads. (English)
0 references