Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/transact.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Andreas Prinz and Bernhard Thalheim, "Operational Semantics of Transactions", in Proceedings of ADC 2003. |
|---|---|
| Summary: | ASMs are used to give a formal definition of the informal notion of "transaction" frequently used in database research. |
| Subjects: | Databases |
| Download: | From Bernhard Thalheim's homepage in PDF. |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/transact.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT