Coalgebraic Weak Bisimulation from Recursive Equations over Monads (Q5167838)
From MaRDI portal
scientific article; zbMATH DE number 6312314
Language | Label | Description | Also known as |
---|---|---|---|
English | Coalgebraic Weak Bisimulation from Recursive Equations over Monads |
scientific article; zbMATH DE number 6312314 |
Statements
Coalgebraic Weak Bisimulation from Recursive Equations over Monads (English)
0 references
1 July 2014
0 references