[PPT] - Bisimulation Congruences in the Calculus of Looping Sequences PowerPoint Presentation