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

http://www.birs.ca/events/2016/5-day-workshops/16w5152/videos/watch/201611291100-Reiter.html