29 citations · 81 across the 19 of their papers we have counts for
1 paper · 1 filter
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…