43 citations · 305 across the 30 of their papers we have counts for
1 paper · 2 filters
Christian Kissig, Alexander Kurz
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.