image/svg+xml
1
  1. Title
  2. Introduction
  3. Dictionary problem
  4. Least Fixpoint Logic
  5. Synchrony too powerful
  6. Asynchrony
  7. Main slide
  8. Theorem
  9. Full view