Feasible Reactivity for Synchronous Cooperative Threads
Roberto M. Amadio, Frédéric Dabrowski · Electronic Notes in Theoretical Computer Science · 2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that each instant terminates in time polynomial in the size of the parameters of the program at the beginning of the computation.