40:52Introduction to the Actor Model for Concurrent Computation: Tech Talks @ AppNexusAppNexus86.6K viewsView & Download
1:22:28Modeling concurrent behavior: between expressibility and decidabilityФКН ВШЭ486 viewsView & Download
12:20Data Centric Consistency Model- Linearizability, Causal, FIFODeepti Reddy20.2K viewsView & Download
8:18Executable and Verifiable Models of Multi-Threaded and Concurrent Systemsmipalgu29 viewsView & Download
1:12:03Actor Model Programming: Building Resilient Distributed Systems (with Hugh McKee)Developer Voices17.6K viewsView & Download
1:07:15Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023NDC Conferences6.0K viewsView & Download