A Trace Semantics for Long−Running Transactions
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
Springer
2004
|
| _version_ | 1826298098034409472 |
|---|---|
| author | Butler, M Hoare, C Ferreira, C |
| author_facet | Butler, M Hoare, C Ferreira, C |
| author_sort | Butler, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:41:38Z |
| format | Conference item |
| id | oxford-uuid:d1dc23a5-24f8-4ba8-a008-d355965abc85 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:41:38Z |
| publishDate | 2004 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:d1dc23a5-24f8-4ba8-a008-d355965abc852022-03-27T07:59:44ZA Trace Semantics for Long−Running TransactionsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:d1dc23a5-24f8-4ba8-a008-d355965abc85Department of Computer ScienceSpringer2004Butler, MHoare, CFerreira, C |
| spellingShingle | Butler, M Hoare, C Ferreira, C A Trace Semantics for Long−Running Transactions |
| title | A Trace Semantics for Long−Running Transactions |
| title_full | A Trace Semantics for Long−Running Transactions |
| title_fullStr | A Trace Semantics for Long−Running Transactions |
| title_full_unstemmed | A Trace Semantics for Long−Running Transactions |
| title_short | A Trace Semantics for Long−Running Transactions |
| title_sort | trace semantics for long running transactions |
| work_keys_str_mv | AT butlerm atracesemanticsforlongrunningtransactions AT hoarec atracesemanticsforlongrunningtransactions AT ferreirac atracesemanticsforlongrunningtransactions AT butlerm tracesemanticsforlongrunningtransactions AT hoarec tracesemanticsforlongrunningtransactions AT ferreirac tracesemanticsforlongrunningtransactions |