Resource Control for Synchronous Cooperative Threads

Roberto Amadio, Silvano Dal Zilio

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} mo…