From df4016a2c3a2ee05db0bcbad1e16529b01af6b63 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 1 May 2018 19:59:02 -0400 Subject: [PATCH] Proofreading SharedMemory --- SharedMemory.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/SharedMemory.v b/SharedMemory.v index 4f38798..0437dd0 100644 --- a/SharedMemory.v +++ b/SharedMemory.v @@ -400,7 +400,7 @@ Qed. * technique to also harness commutativity of operations that *do* depend on the * shared state, but in particular controlled ways? Why, yes we can! The most * popular such technique from the model-checking world is - * *partial order reduction*. *) + * *partial-order reduction*. *) (* First, here's an example where we should be able to do better than allowing * either thread to run in every step, as we model-check. *)