image/svg+xml
1
Title
Introduction
Dictionary problem
Least Fixpoint Logic
Synchrony too powerful
Asynchrony
Main slide
Theorem
Full view