1 paper · 1 filter
Nicola Cotumaccio
Over the years, bisimulations have emerged as a pervasive paradigm, finding applications in numerous areas, including concurrency theory, model checking, automata theory, logic, pr…