Skip to content
Snippets Groups Projects
Commit afc2be07 authored by Peter J. Keleher's avatar Peter J. Keleher
Browse files

auto

parent c075e2fc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
p6.md
+ 1
− 1
View file @ afc2be07
...@@ -124,7 +124,7 @@ the following implications: ...@@ -124,7 +124,7 @@ the following implications:
- "READ": calls `QueryHelper()`, and then returns the current value. - "READ": calls `QueryHelper()`, and then returns the current value.
- "SLEEP": sleeps an integer number of seconds. - "SLEEP": sleeps an integer number of seconds.
- All others are strings that should be copied verbatim to the oid as - All others are strings that should be copied verbatim to the oid as
new values for the associate object. new values for the associated object.
All transactional fates are determined independently, but All transactional fates are determined independently, but
deterministically, by each tango library. Recall (from the paper), deterministically, by each tango library. Recall (from the paper),
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment