Canonicity and Minimality for Simulation Equivalences at CONCUR’26

The paper ‘Minimal and Canonical Quotients for Simulation Equivalences’ by Eduardo Costa Martins and Tim Willemse was accepted at CONCUR’26. The paper deals with the problem of quotienting transition systems modulo coupled simulation equivalence and weak simulation equivalence, showing that both notions of simulation admit a canonical quotient, computable in polynomial time, but that, surprisingly, computing a minimal transition system for either of the equivalence relations is NP-hard.