Coinduction up-to in a fibrational setting (Q4635603)
From MaRDI portal
scientific article; zbMATH DE number 6863078
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coinduction up-to in a fibrational setting |
scientific article; zbMATH DE number 6863078 |
Statements
Coinduction up-to in a fibrational setting (English)
0 references
23 April 2018
0 references
GSOS
0 references
bialgebras
0 references
bisimulation up-to
0 references
coinductive predicates
0 references
fibrations
0 references
nominal automata
0 references
similarity
0 references
up-to techniques
0 references
