Completed
Network Protocols: Session Types
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
From Crypto-Paper to Crypto-Currency - The Cardano Consensus Layer
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Overview
- 3 Distributed Computation over a Network
- 4 Consensus Layer of Cardano
- 5 Implementing Correctly or Quickly?
- 6 Correctness Toolbox
- 7 Separating the Concerns
- 8 Transaction Ledger
- 9 Consensus and Networking
- 10 Testing Concurrent Code in Simulation
- 11 Network Protocols: Session Types
- 12 Example: Fetching Blocks
- 13 Formal Treatment
- 14 Connecting theory with implementation
- 15 Block-Fetch, Forecasting, Denial of Service
- 16 Hard-Fork Combinator
- 17 De-Risking Decentralisation
- 18 Refine Carefully
- 19 Future Work
