TY  - RPRT
TI  - A Concurrent Calculus with Atomic Transactions
AU  - Lucia Acciai
AU  - Michele Boreale
AU  - Silvano Dal Zilio
PY  - 2006
UR  - https://arxiv.org/abs/cs/0610137
ID  - cs/0610137
ER  -