UTP Keynote: Tony Hoare on Concurrency & Sequential Programming

Join Tony Hoare's livestream keynote on a calculus for concurrent and sequential programming, chaired by Pedro Ribeiro. πŸŽ₯

UTP Keynote: Tony Hoare on Concurrency & Sequential Programming
Formal Methods Europe
267 views β€’ Oct 9, 2019
UTP Keynote: Tony Hoare on Concurrency & Sequential Programming

About this video

Chair: Pedro Ribeiro
Speakers: Tony Hoare
Session 2: UTP Keynote Talk | A Calculus for Concurrent and Sequential Programming

Tags and Topics

Browse our collection to discover more content in these categories.

Video Information

Views

267

Likes

4

Duration

01:09:53

Published

Oct 9, 2019

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.

Trending Now