The Laws of Programming with Concurrency

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).

[@NatarajSubramanian]

I found the slides on the Internet and uploaded them to the Internet Archive at archive.org/details/slides-for-the-laws-of-programming-with-concurrency-talk-by-sir-tony-hoare for posterity.

[@ecausarano]

great talk but the video editing is plain useless: the slides should remain visible at all times occasionally alternating with a speaker's framing.

[@quorkquork]

Great job of not clearly mentioning the speaker (Tony Hoare) in the description.

[@alexandersobolev5284]

yeah, the speaker name is not even in the video description

[@srebrnimedved]

Absolutely great job

[@dcart77]

Thanks for making the talk available. Is there a way to access the slide deck as well? A bit hard to follow with the slides only shown for a few seconds each.

[@vyorkin]

It would be helpful if somebody could share the slides, please

[@alexandersobolev5284]

man, these people need to attend a seminar on how the tech talks should be recorded. There they can learn that slides must be visible at all times, the speaker name must be mentioned in the video description and other good tips. No wonder, nobody is watching this channel.

[@zarathustra3976]

Each year, Microsoft research lost hundreds of slides...

[@horothesun]

Here you can find the slides: docdro.id/0x2RfTk

[@saadabbasi2063]

I can't thank you enough.

[@horothesun]

You're very welcome! :)

[@srebrnimedved]

At microsoft they are so advanced they need not looking at slides, especially regarding the cutting edge foundational computer science

[@esepecesito]

This shows how is the quality of anything microsoft does... what a disaster. No slides, and missing name of the presenter in the description.

[@devsharp]

How is the director of this video, very terrible work.