The Laws of Programming with Concurrency

Channel:
Microsoft Research
Subscribers:
342,000
Published on ● Video Link: https://www.youtube.com/watch?v=9kKQ8uLK8mk


Duration: 50:52
7,020 views
136

Regular algebra provides a full set of simple laws for the programming of abstract state machines by regular expressions. They apply equally to sequential programs run on real computers. When extended by similar laws for interleaving of regular expressions, they apply also to programs for modern concurrent and distributed systems. Evidence for this claim is given by deriving from the algebra a concurrent extension of Hoare Logic (O’Hearn’s separation logic), and also an operational semantics for Milner’s process calculus (CCS).



Other Videos By Microsoft Research


2016-06-21The Turing trap. How the universal computer is making the internet less secure.
2016-06-21Madoko: a scholarly markdown
2016-06-21Code Hunt Workshop - Day 2 Session 6
2016-06-21Question Answering
2016-06-21Code Hunt Workshop - Day 1 Session 2
2016-06-21Code Hunt Workshop - Day 2 Session 4A
2016-06-21P: A Domain-Specific Language for Asynchronous Event-Driven Programming
2016-06-21Checking microarchitectural implementations of weak memory
2016-06-21Code Hunt Workshop - Day 2 Session 4B
2016-06-21Code Hunt Workshop - Day 1 Session 3
2016-06-21The Laws of Programming with Concurrency
2016-06-21Designing Technology for Mental Health and Wellbeing
2016-06-21DNN-Based Online Speech Enhancement Using Multitask Learning and Suppression Rule Estimation
2016-06-21Computing Reliably with Molecular Walkers
2016-06-21Challenges in automated verification and synthesis for molecular programming
2016-06-21Decompositions of Natural Signals Still Need Fresh Ideas
2016-06-21Provable Non-convex Projections for High-dimensional Learning Problems -Part2
2016-06-21Optimal Design for Social Learning
2016-06-21Introduction to Machine Learning in Python with Scikit-Learn
2016-06-21Lab tutorial: Learning about Shape
2016-06-21Improving Behavioral Health Intervention Technologies: Harnessing the Human Side of Apps


Tags:
microsoft research
mathematics