Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6606925
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7760623693466187
0 references
0.7746026515960693
0 references
0.7728623151779175
0 references
0.7644518613815308
0 references
