cross_reference.html

<title>table_of_contents.html</title>
<!------------- Start Heading -------------------------------->
<!DOCTYPE html>

<html lang="en">
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">

<link rel="stylesheet"
href="https://www.w3schools.com/w3css/4/w3.css">

<link rel="stylesheet"
href="https://fonts.googleapis.com/css?family=Roboto">

<link rel="stylesheet"
href="https://www.w3schools.com/lib/w3-theme-blue.css">

<link rel="stylesheet"
href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">

<style>
html,body,h1,h2,h3,h4,h5,h6 {font-family: "Roboto", sans-serif;}
.w3-sidebar {
  z-index: 3;
  width: 250px;
  top: 43px;
  bottom: 0;
  height: inherit;
}
/* Thick blue border */
hr.new2 {
  border: 2px solid blue;
}
</style>


<body>
<div class="w3-top">
<div class="w3-bar w3-theme w3-top w3-left-align w3-large">
  
  <a class="w3-bar-item w3-button w3-right w3-hide-large
  w3-hover-white w3-large w3-theme-l1"
  href="javascript:void(0)"
  onclick="w3_open()">
  <i class="fa fa-bars"></i></a>

  <a href="index.html"
  class="w3-bar-item w3-button w3-hide-small w3-hover-white">
  Distributed Algorithms
  </a>

  <a href="table_of_contents.html"
  class="w3-bar-item w3-button w3-hide-small w3-hover-white">
  Contents
  </a>

  <a href="cross_reference.html"
  class="w3-bar-item w3-button w3-hide-small w3-hover-white">
  Index
  </a>
    
  </div>
  </div>

<nav
class="w3-sidebar w3-bar-block w3-collapse w3-large w3-theme-l5
w3-animate-left" 
id="mySidebar">

<a href="javascript:void(0)"
onclick="w3_close()"
class="w3-right w3-xlarge w3-padding-large w3-hover-black
w3-hide-large"
title="Close Menu">
<i class="fa fa-remove"></i>
</a>

<!--END Heading  ---------------------------->
 
<!-- Start Sidebar----------> 

<a class="w3-bar-item w3-button w3-hover-black "
  href="DistributedSystemsEverywhere/DistributedSystemsEverywhere.html">
  Distributed Systems Everywhere
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="ReviewOfBasics/Introduction/Introduction.html" > 
Review Sequential Programs
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="FoundationsOfDistributedSystems/DistributedSystemsIntroduction.html" > 
Foundations
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="ChannelSnapshots/SnapshotsChapterIntroduction.html" > 
Timelines, Snapshots, Logical Clocks
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="GlobalSnapshotApplications/StablePredicates.html" > 
Detection Algorithms
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="DiffusingComputations/DiffusingComputations.html" > 
Diffusing Computations
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="SelfStabilization/SelfStabilization.html" > 
Self Stabilization
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="Knowledge/Knowledge.html" > 
What Agents Know
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="Paxos/ConsensusImpossible.html" > 
Consensus Impossible with Faulty Agent
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="Byzantine/ByzantineWritten.html" > 
Byzantine Faults
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="Crypto/CryptoCurrencyIntroduction.html" > 
Cryptocurrency: Introduction
  </a>
  
<a class="w3-bar-item w3-button w3-hover-black "
href="DistributedCollaboration/DiningPhilosophers/DiningPhilosophers.html" > 
Distributed Collaboration
</a>

<a class="w3-bar-item w3-button w3-hover-black "
href="ClockSynchronization/Introduction/Introduction.html" > 
Clock Synchronization: Future
</a>
<a class="w3-bar-item w3-button w3-hover-black "
href="CloudComputing/Introduction/Introduction.html" > 
Cloud Computing Algorithms: Future
</a>
<a class="w3-bar-item w3-button w3-hover-black "
href="Streams/Introduction/Introduction.html" > 
Stream Algorithms
</a>
<a class="w3-bar-item w3-button w3-hover-black "
href="DistributedData/Introduction/Introduction.html" > 
Distributed Data: Future
</a>
<a class="w3-bar-item w3-button w3-hover-black "
href="ContinuousSystems/Introduction/Introduction.html" > 
Continuous Systems: Future
</a>

</nav>
<!-- End Sidebar---------->
 
<!-- Start overlay ---------------------------------->

<!-- Overlay effect when opening sidebar on small screens -->
<div class="w3-overlay w3-hide-large"
  onclick="w3_close()"
  style="cursor:pointer"
  title="close side menu"
  id="myOverlay"></div>

<!-- Main content: shift it to the right by 250 pixels when the sidebar is visible -->
<div class="w3-main" style="margin-left:250px">
  
<script id="MathJax-script" async
      src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">
</script>
  
<div class="w3-row w3-padding-64">
<div class="w3-twothird w3-container">

<!-- End overlay ---------------------------------->
 
    <h2 class="w3-text-teal">Index</h2>

    <h4 class="w3-text-teal">Review of Basics</h4>
  <ul>
    <li>
    <i>D</i>
    </li>
      <li>
      <a href="DistributedSystemsEverywhere/DistributedSystemsEverywhere.html">
      Distributed Systems: Introduction
      </a>
      </li>
    <li>
      <a href="ReviewOfBasics/NondeterministicIteration/NondeterministicIteration.html">
      do-od loops
      </a> 
     </li>
    
     <li>
     <i>H</i>
     </li>
     <li>
      <a href="ReviewOfBasics/HoareTriples/HoareTriples.html">
      Hoare triples
      </a>
      </li>
      <li>
      <i>L</i>
      </li>
      <li>
      <a href="ReviewOfBasics/NondeterministicIteration/NondeterministicIteration.html">
      Loops: do-od 
      </a> 
      </li>
      <li>
      <a href="ReviewOfBasics/LoopTermination/LoopTermination.html">
      Loop termination
      </a>
      </li>
      <li>
      <a href="ReviewOfBasics/LoopTermination/LoopTermination.html">
      Loop variants
      </a>
      </li>
      <li>
      <i>N</i>
      </li>
      <li>
      <a href="ReviewOfBasics/NondeterministicIteration/NondeterministicIteration.html">
      Nondeterministic iteration
      </a> 
      </li>
      <li>
      <i>P</i>
      </li>
      <li>
      <a href="ReviewOfBasics/Predicates/Predicates.html">
      Predicates
      </a>
      </li>
      <li>
      <i>S</i>
      </li>
      <li>
      <i>V</i>
      </li>
      <li>
      <a href="ReviewOfBasics/NondeterministicIteration/NondeterministicIteration.html">
      Variant functions
      </a>
      </li>
    </ol>

    
  <footer id="myFooter">

    <div class="w3-container w3-theme-l1">
      <p>K. Mani Chandy,
      <br>
      Simon Ramo Professor, Emeritus, California Institute of Technology</p>
    </div>
  </footer>


</body>
</html>