vault backup: 2025-03-25 08:23:01

2025-03-25 08:23:01 +01:00 · 2025-03-25 08:23:01 +01:00 · 2f1ed71b87
commit 2f1ed71b87
parent 371d0be31f
4 changed files with 47 additions and 9 deletions
--- a/Systems/notes/8
+++ b/Systems/notes/8
@ -0,0 +1,2 @@
+Can we take the most basic protocol that satisfies the most basic liveness property (obstruction freedom) and "upgrade" it to bounded wait freedom?
+
--- a/Systems/notes/images/Pasted
+++ b/Systems/notes/images/Pasted
--- a/Systems/slides/class
+++ b/Systems/slides/class
				`@ -0,0 +1,2 @@`
				`Can we take the most basic protocol that satisfies the most basic liveness property (obstruction freedom) and "upgrade" it to bounded wait freedom?`