Video From 16w5152: Complexity and Analysis of Distributed Algorithms
Fabian Reiter, Institut de Recherche en Informatique Fondamentale
Tuesday, November 29, 2016 11:00 - 11:40
Asynchrony and Least Fixpoint Logic
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.