Coalgebraic Bisimulation-Up-To (Q2927660)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coalgebraic Bisimulation-Up-To |
scientific article |
Statements
Coalgebraic Bisimulation-Up-To (English)
0 references
4 November 2014
0 references
