2 thoughts on “Better Algorithms for Analyzing and Enacting Declarative Workflows using LTL

    1. Heh, I never thought of it like that, though I agree there is a connection in the whole looking at a seemingly opaque problem and applying a trick to be able to use divide and conquer. It would be interesting to look into whether similar tricks used in Karatsuba multiplication could be used in automaton multiplication…

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.