\BOOKMARK [1][]{Outline1}{A brief summary of the main notions seen in previous lectures}{}
\BOOKMARK [1][]{Outline2}{Properties of bisimilarity}{}
\BOOKMARK [2][]{Outline2.1.7}{Bisimilarity is a congruence}{Outline2}
\BOOKMARK [2][]{Outline2.2.10}{Some interesting bisimilarities}{Outline2}
\BOOKMARK [1][]{Outline3}{Axiomatization of strong bisimilarity}{}
\BOOKMARK [1][]{Outline4}{Bisimulation up-to }{}
\BOOKMARK [1][]{Outline5}{Value-passing CCS}{}
\BOOKMARK [1][]{Outline6}{Weak Bisimilarity and Observation Congruence}{}
\BOOKMARK [2][]{Outline6.2.22}{Properties of observation congruence}{Outline6}
\BOOKMARK [2][]{Outline6.3.24}{Example: FIFO Queues}{Outline6}