Diskussion:Happened-Before
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 25. August 2013 um 17:18 Uhr durch imported>Anonym~dewiki(31560) (Neuer Abschnitt →Striktordnung).
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)
