1 citations · 3 across the 8 of their papers we have counts for
1 paper · 1 filter
Jonas Forster, Lutz Schröder, Paul Wild
Game-theoretic characterizations of process equivalences traditionally form a central topic in concurrency; for example, most equivalences on the classical linear-time / branching-…