An Intuitive and Efficient Semantics for Concurrent Programming Languages
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceDevelops intuitive and efficient semantic models for concurrent programming languages. The video teaches formal approaches to reasoning about concurrent systems.
What you'll learn
A 68-minute video from Microsoft Research: “An Intuitive and Efficient Semantics for Concurrent Programming Languages”.
Video by Microsoft Research, played through YouTube's embedded player.