[PPDP23] Termination in Concurrency, Revisited

Published --