Lax Bialgebras and Up-To Techniques for Weak Bisimulations (Q5357707)
From MaRDI portal
scientific article; zbMATH DE number 6774215
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lax Bialgebras and Up-To Techniques for Weak Bisimulations |
scientific article; zbMATH DE number 6774215 |
Statements
12 September 2017
0 references
up-to techniques
0 references
weak bisimulation
0 references
lax bialgebras
0 references
Lax Bialgebras and Up-To Techniques for Weak Bisimulations (English)
0 references
