.

2READ

+A New Solution of Dijkstra's Concurrent Programming Problem
+http://lamport.azurewebsites.net/pubs/pubs.html#bakery
+
+
+Time, Clocks and the Ordering of Events in a Distributed System
+http://lamport.azurewebsites.net/pubs/pubs.html#time-clocks
+
+
+The Computer Science of Concurrency: The Early Years
+http://lamport.azurewebsites.net/pubs/pubs.html#turing
+
+
+
+Concurrent Reading and Writing
+http://lamport.azurewebsites.net/pubs/pubs.html#rd-wr
+
+The Concurrent Reading and Writing of Clocks
+http://lamport.azurewebsites.net/pubs/pubs.html#lamport-concurrent-clocks
+
+
+The Part-Time Parliament
+http://lamport.azurewebsites.net/pubs/pubs.html#lamport-paxos
+
+Consensus on Transaction Commit
+http://lamport.azurewebsites.net/pubs/pubs.html#paxos-commit
+
+???????
+
+
+
+Distributed Snapshots: Determining Global States of a Distributed System
+http://lamport.azurewebsites.net/pubs/pubs.html#chandy
+
+------
+
+Reconfiguring a State Machine
+http://lamport.azurewebsites.net/pubs/pubs.html#reconfiguration-tutorial
+
+Stoppable Paxos
+http://lamport.azurewebsites.net/pubs/pubs.html#stoppable
+
+??????
+
+
+Leaderless Byzantine Paxos
+http://lamport.azurewebsites.net/pubs/pubs.html#disc-leaderless-web
+
+
+
 https://asatarin.github.io/testing-distributed-systems/

Route.toolbox/Route___Model_3.launch

@@ -5,7 +5,7 @@
     <stringAttribute key="distributedNetworkInterface" value="192.168.122.1"/>
     <intAttribute key="distributedNodesCount" value="1"/>
     <stringAttribute key="distributedTLC" value="off"/>
-    <intAttribute key="fpIndex" value="74"/>
+    <intAttribute key="fpIndex" value="12"/>
     <intAttribute key="maxHeapSize" value="25"/>
     <stringAttribute key="modelBehaviorInit" value=""/>
     <stringAttribute key="modelBehaviorNext" value=""/>
@@ -22,7 +22,7 @@
     <listAttribute key="modelCorrectnessProperties">
         <listEntry value="1&lt;&gt;Terminated"/>
     </listAttribute>
-    <intAttribute key="modelEditorOpenTabs" value="8"/>
+    <intAttribute key="modelEditorOpenTabs" value="12"/>
     <stringAttribute key="modelExpressionEval" value=""/>
     <listAttribute key="modelParameterConstants">
         <listEntry value="root;;r;0;0"/>