Andrew P. Black, Vincent Cremet, Rachid Guerraoui, and Martin Odersky OGI...  Home/Search
Context Related
| lamp.epfl.ch/~cremet/publ...fsttcs03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sics.se/pepito/D1.8/del1.8 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Transactions are commonly described as being ACID: Allor -nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID properties have never been given a precise semantics in a way that disentangles each property from the others. Among the bene ts of such a semantics would be the ability to trade-o the value of a property against the cost of its implementation. (Update)
Cited by: More
An Equational Theory for Transactions - Black, Cremet, Guerraoui, Odersky (2003) (Correct)
Active bibliography (related documents): More All
1.1: Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
1.1: An Equational Theory For Transactions - Black, Cremet, Guerraoui, Odersky (2003) (Correct)
0.3: Semantic Correctness of Transactions and Workflows - Lu (2002) (Correct)
Similar documents based on text: More All
0.2: An Open Framework for Reliable Distributed Computing - Garbinato, Guerraoui (1998) (Correct)
0.2: A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (Correct)
0.2: Concurrency and Distribution in Object-Oriented Programming - Briot, GUERRAOUI, Löhr (1998) (Correct)
Related documents from co-citation: More All
2: Nesting Actions Through Asynchronous Message Passing: the ACS Protocol (context) - Guerraoui, Capobianchi et al. - 1992
2: Inheritance of Synchronization and Recovery Properties inAvalon/C (context) - Detlefs, Herlihy et al. - 1988
2: Principles of transaction-oriented database recovery (context) - Harder, Reuter - 1983
BibTeX entry: (Update)
Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky. An Equational Theory for Transactions. EPFL Technical Report IC/2003/26, 2003. http://citeseer.ist.psu.edu/article/black03equational.html More
@misc{ black03equational,
author = "A. Black and V. Cremet and R. Guerraoui and M. Odersky",
title = "An Equational Theory for Transactions",
text = "Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky. An Equational
Theory for Transactions. EPFL Technical Report IC/2003/26, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/black03equational.html" }
Citations (may not include all citations):76 Camelot and Avalon: A Distributed Transaction Facility (context) - Eppinger, Mummert et al. - 1991
75 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
53 Inheritance synchronization and recovery propertie AvalonC++ (context) - Herlihy, of et al. - 1988
39 Principles of transaction-oriented database recovery (context) - Haerder, Reuter - 1983
39 Nested transactions: An approach to reliable distributed com.. - Moss - 1985
17 Implementing concurrency control in reliable distributed obj.. (context) - Parrington, Schrivastava - 1988
17 Transaction Processing: Techniques and Concepts (context) - Gray, Reuter - 1992
15 Nesting Actions through Asynchronous Message Passing: the AC.. (context) - Guerraoui, Capobianchi et al. - 1992
14 Support for distributed transactions in the TABS prototype (context) - Spector - 1985
13 Understanding transactions in the operating system context - Black - 1990
10 The Two-phase Commitment Protocol in an Extended Pi-calculus - Berger, Honda - 2000
6 and recovery using atomic actions (context) - Lomet, synchronization - 1977
6 Guardians and actions: Linguistic support distributed progra.. (context) - Liskov, er - 1993
4 ACTA: A Framework for Specifying and Reasoning about Transac.. (context) - Chrysantis, Ramamritham - 1990
4 ObjectBased Distributed Programming (context) - Wing, Recomposing
3 Semantic Conditions for Correctness at Di erent Isolation Le.. (context) - Bernstein, Lewis et al. - 2000
2 An Equational Theory for Transactions - Black, Cremet et al. - 2003
http://www.arjuna.com/products/arjunats/features.html
http://www.bea.com/framework.jsp?CNT=homepage
http://www.microsoft.com/com/tech/MTS.asp
http://java.sun.com/products/ejb/
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC