Proof by Timeline

Making slides.  Decidability result:

Edit: Ffffuuuuu…! This doesn’t work.  Have to change precedence to response (I think that works at least…)

Edit 2: This works.  Wrong version below.

Edit 2: Wrong stuff below; it is actually possible to make this bounded.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.