Strenge Konsistenz

<body><h1 class="title"> Strenge Konsistenz</h1> <p> Eine Uhr <img src="../genfiles/math231.png" style="position: relative; bottom: -15px"></img> ist <b>streng konsistent</b> für eine Ereignis-Ordnung <img src="../genfiles/math232.png" style="position: relative; bottom: -15px"></img> falls für alle Abläufe <img src="../genfiles/math233.png" style="position: relative; bottom: -15px"></img> und für alle Ereignisse <img src="../genfiles/math234.png" style="position: relative; bottom: -15px"></img> . </p> <div class="endkernel"></div> <dl><dt></dt> <dd><p> Nur falls <img src="../genfiles/math235.png" style="position: relative; bottom: -15px"></img> eindeutig: <img src="../genfiles/math236.png" style="position: relative; bottom: -15px"></img> . </p> <div class="endkernel"></div> </dd> </dl> <dl><dt><h2>Totalordnung</h2> </dt> <dd><p><img src="../genfiles/math237.png" style="position: relative; bottom: -15px"></img> konsistent für Totalordnung <img src="../genfiles/math238.png" style="position: relative; bottom: -15px"></img> streng konsistent. <img src="../genfiles/math239.png" style="position: relative; bottom: -15px"></img> </p> <div class="endkernel"></div> </dd> </dl> <div class="footer"><p>© UniBW Informatik 2011, Generated by Targeteam</p> </div> </body>