Bisimulation Games on Coalgebras
Reference
B. König and C. Mika. Bisimulation games on coalgebras. In CALCO Early Ideas '17, 2017.
Suggested BibTeX entry:
@inproceedings{km:games-coalgebras,
author = {B. K{\"o}nig and C. Mika},
booktitle = {CALCO Early Ideas '17},
title = {Bisimulation Games on Coalgebras},
year = {2017}
}
This work is not available online here.