\beamer@endinputifotherversion {3.01pt}
\select@language {english}
\beamer@sectionintoc {1}{A brief summary of the main notions seen in previous lectures}{3}{0}{1}
\beamer@sectionintoc {2}{Properties of bisimilarity}{8}{0}{2}
\beamer@subsectionintoc {2}{1}{Bisimilarity is a congruence}{9}{0}{2}
\beamer@subsectionintoc {2}{2}{Some interesting bisimilarities}{13}{0}{2}
\beamer@sectionintoc {3}{Axiomatization of strong bisimilarity}{16}{0}{3}
\beamer@sectionintoc {4}{Bisimulation up-to $\sim $}{19}{0}{4}
\beamer@sectionintoc {5}{Value-passing CCS}{22}{0}{5}
\beamer@sectionintoc {6}{Weak Bisimilarity and Observation Congruence}{26}{0}{6}
\beamer@subsectionintoc {6}{2}{Properties of observation congruence}{30}{0}{6}
\beamer@subsectionintoc {6}{3}{Example: FIFO Queues}{33}{0}{6}