DIC AMP

1 TOC

./AMP.html Overview of Asynchronous Message Passing
"Happened Before" Relation of Leslie Lamport.
./channels-sr.html Channels are syntactic construct in support of AMP.
./semaphore-distributed.html An implementation of "distributed semaphore".
./token-passing.html Distributed Algorithms using a special message known as a "token".

https://amturing.acm.org/award_winners/lamport_1205376.cfm Leslie Lamport is a Turing Award Winner 2013. CITATION: "For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency."
https://www.youtube.com/watch?v=0Ep3QqYorGM A Conversation with Turing Award Winner Leslie Lamport Aug 18, 2016; Video 22:45