2 papers
cs.LO2006
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal Zilio
The Software Transactional Memory (STM) model is an original approach for controlling concurrent accesses to ressources without the need for explicit lock-based synchronization mec…
cs.PL2005
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…