Author:
Ţăpuş Cristian,Hickey Jason
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Reference34 articles.
1. Ananian, C.S., Asanović, K., Kuszmaul, B.C., Leiserson, C.E., Lie, S.: Unbounded transactional memory. In: Proceedings of the 11th International Symposium on High-Performance Computer Architecture (HPCA’05), San Franscisco, California, pp. 316–327 (2005)
2. Black, A.P., Cremet, V., Guerraoui, R., Odersky, M.: An equational theory for transactions. In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, pp. 38–49. Australian Computer Society, Inc., Queensland (2003)
3. Bruni, R., Butler, M.J., Ferreira, C., Hoare, C.A.R., Melgratti, H.C., Montanari, U.: Comparing two approaches to compensable flow composition. In: Abadi, M., de Alfaro L. (eds.) CONCUR. Lecture Notes in Computer Science, vol. 3653, pp. 383–397. Springer, Heidelerg (2005)
4. Bruni R., Melgratti H.C., Montanari U.: Nested commits for mobile calculi: Extending join. In: Lévy, J.J., Mayr, E.W., Mitchell, J.C.(eds) IFIP TCS, pp. 563–576. Kluwer, Dordercht (2004)
5. Busi, N., Zavattaro, G.: On the serializability of transactions in shared dataspaces with temporary data. In: SAC, pp. 359–366. ACM, New York (2002)