Completed
LAMBDA CALCULUS ALONZO CHURCH 1930
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
The Road to Akka Cluster, and Beyond
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 WHY DO WE NEED IT?
- 3 YOU CAN'T TELL THE DIFFERENCE
- 4 FALLACIES
- 5 A MODEL FOR DISTRIBUTED COMPUTATION
- 6 LAMBDA CALCULUS ALONZO CHURCH 1930
- 7 VON NEUMANN MACHINE JOHN VON NEUMANN 1945
- 8 ACTORS CARL HEWITT 1973
- 9 IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY PROCESS
- 10 LINEARIZABILITY
- 11 DISSECTING CAP
- 12 LAMPORT CLOCKS
- 13 VECTOR CLOCKS
- 14 FAILURE DETECTION FORMAL MODEL
- 15 ACCRUAL FAILURE DETECTOR HAYASHIBARA ET AL. 2004
- 16 SWIM FAILURE DETECTOR
- 17 SPECIFICATION
- 18 CONSENSUS ALGORITHMS
- 19 NODE RING & EPIDEMIC GOSSIP
- 20 Akka CLUSTER EXTENSIONS
- 21 CLUSTER MEMBERSHIP IN AKKA
- 22 GOSSIPING
- 23 LEADER
- 24 NETWORK PARTITIONS
- 25 AKKA MODULES FOR DISTRIBUTION
- 26 AKKA & THE ROAD AHEAD
- 27 REFERENCES
