Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639)
From MaRDI portal
scientific article; zbMATH DE number 6606925
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bisimulation proof methods in a path-based specification language for polynomial coalgebras |
scientific article; zbMATH DE number 6606925 |
Statements
Bisimulation proof methods in a path-based specification language for polynomial coalgebras (English)
0 references
27 July 2016
0 references
