Video From 16w5152: Complexity and Analysis of Distributed Algorithms

Tuesday, November 29, 2016 11:00 - 11:40
Asynchrony and Least Fixpoint Logic
Fabian Reiter, Video: Asynchrony and Least Fixpoint Logic
Fabian Reiter, Video: Asynchrony and Least Fixpoint Logic
Fabian Reiter, Asynchrony and Least Fixpoint Logic, Complexity and Analysis of Distributed Algorithms, BIRS, BIRS talk, 16w5152, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
152M
http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos
Asynchrony and Least Fixpoint Logic
Fabian Reiter at 16w5152: Complexity and Analysis of Distributed Algorithms on Tuesday, November 29, 2016
0 seconds of 0 secondsVolume 0%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 

Download this video (152M)



Other videos from this workshop