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. 🎥
Formal Methods Europe
267 views • Oct 9, 2019
About this video
Chair: Pedro Ribeiro
Speakers: Tony Hoare
Session 2: UTP Keynote Talk | A Calculus for Concurrent and Sequential Programming
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 TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now