From afc2be07ef4c67042d1f0e551fcd9344ba56b885 Mon Sep 17 00:00:00 2001 From: "Peter J. Keleher" <keleher@cs.umd.edu> Date: Wed, 6 Dec 2023 14:26:16 -0500 Subject: [PATCH] auto --- p6.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/p6.md b/p6.md index 97144fc..88d8914 100644 --- a/p6.md +++ b/p6.md @@ -124,7 +124,7 @@ the following implications: - "READ": calls `QueryHelper()`, and then returns the current value. - "SLEEP": sleeps an integer number of seconds. - 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 deterministically, by each tango library. Recall (from the paper), -- GitLab