Diskussion:Logische Uhr

Happened-Before-Notation

Im Abschnit Uhrenbedingung und Kausalordnung wird implizit vorausgesetzt, dass $e1e2$ für "e1 ist Ursache von e2" und $e1\|e2$ für "e1 ist nebenläufig zu e2" steht. Entweder sollte man das am Anfang definieren, oder (was ich persönlich besser fände) gleich das Zeichen für Happened-Before ($\rightarrow$) bzw. deren Negation ($\nrightarrow$) verwenden, das bisher erst später eingeführt wird. Oder gibt es da andere, die mir als Laien nicht klar sind? -- Bobbl 13:12, 30. Nov. 2011 (CET)

Notation entsprechend angepasst. --2A00:1398:300:308:0:0:0:13CF 19:13, 26. Aug. 2020 (CEST)

monoton steigend

In der Einleitung heißt es „der einzige Anspruch an eine logische Uhr [ist], dass sie monoton steigende Werte abgibt“. Müssten es nicht sogar streng monoton steigende Werte sein?
())¯_¯_¯_¯_>2 (Diskussion) 15:44, 14. Mai 2013 (CEST)

Korrekt und angepasst (aktuell noch ungesichtet). --2A00:1398:300:308:0:0:0:13CF 19:11, 26. Aug. 2020 (CEST)