Coalgebraic Trace Semantics via Forgetful Logics.

Bartek Klin, Jurriaan Rot

Browse the full FOSSACS paper archive.