Resource Control for Synchronous Cooperative Threads

@inproceedings{Amadio2004ResourceCF,
  title={Resource Control for Synchronous Cooperative Threads},
  author={Roberto M. Amadio and Silvano Dal-Zilio},
  booktitle={CONCUR},
  year={2004}
}
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

Topics

Statistics

01020'05'06'07'08'09'10'11'12'13'14'15'16'17'18
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.