Resource Control for Synchronous Cooperative Threads

  title={Resource Control for Synchronous Cooperative Threads},
  author={Roberto M. Amadio and 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 synchronous model of interaction based on cooperative threads whose execution proceeds in synchronous rounds called instants. Our contribution is a system of compositional static analyses to guarantee… CONTINUE READING

3 Figures & Tables



Citations per Year

56 Citations

Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.