Diskussion:Happened-Before

Was ist denn nun die Happened-Before-Relation? --Abdull 13:07, 2. Mär 2005 (CET)

Bezeichnung

Wieso den Artikel nicht einfach nach "Passierte-vor-Relation" verschieben? Ich habe "Happened-Before" noch nie gehört. Stern 20:19, 3. Dez 2005 (CET)

und ich habe "Passierte-vor-Relation" noch nie gehört (google auch nicht). Wie bei vielen Begriffen der Informatik wird hier wohl meist das englische original verwendet. -- D. Dÿsentrieb ⇌ 22:45, 3. Dez 2005 (CET)

Ja sicher, aber bei so einer banalen Relation sehe ich eigentlich keinen Grund hier per Buzzword compliance einen Begriff aufzublähen, der auf Deutsch selbsterklärend ist. Stern 01:44, 4. Dez 2005 (CET)

"happened before" ist gebräuchlich, "Passierte-vor-Relation" wäre eine Neuschöpfung. -- D. Dÿsentrieb ⇌ 01:58, 4. Dez 2005 (CET)

auch wenn ich es bei einer so banalen Relation dubios finde, dass man es englisch verwendet, werde ich das mal akzeptieren :-) Stern 02:01, 4. Dez 2005 (CET)

Striktordnung

ist die Happened-Before-Relation eine Ordnungsrelation#Striktordnung ? Sie ist

• asymmetrisch: aus hb(a,b) folgt ¬hb(b,a)
• transitiv: aus hb(a,b)⋀ hb(b,c) folgt hb(a,c) --78.54.190.189 19:18, 25. Aug. 2013 (CEST)