40 citations · 156 across the 43 of their papers we have counts for
1 paper · 1 filter
Bartek Klin, Jurriaan Rot
We use modal logic as a framework for coalgebraic trace semantics, and show the flexibility of the approach with concrete examples such as the language semantics of weighted, alter…