Eindeutigkeit

<body><h1 class="title"> Eindeutigkeit</h1> <p> (Streng) konsistente Uhr nicht notwendig eindeutig. Aber nur unvergleichbare Ereignisse mit gleichem Zeitstempel: <img src="../genfiles/math240.png" style="position: relative; bottom: -15px"></img> . </p> <div class="endkernel"></div> <dl><dt><h2>Totalordnung</h2> </dt> <dd><p> Insbesondere: <img src="../genfiles/math241.png" style="position: relative; bottom: -15px"></img> konsistent für Totalordnung <img src="../genfiles/math242.png" style="position: relative; bottom: -15px"></img> eindeutig. </p> <div class="endkernel"></div> </dd> </dl> <div class="footer"><p>© UniBW Informatik 2011, Generated by Targeteam</p> </div> </body>