A sua pesquisa não corresponde a nenhum livro pesquisável.
Tente pesquisar este termo em todos os volumes: D. Sangiorgi. On the bisimulation proof method. Mathematical Structures in Computer Science, 8:447-479,...