開催日時
2018/02/16 金 13:30 - 16:30
場所
3号館127大会議室
講演者
Petr Kuznetsov
講演者所属
テレコムパリテック
概要
The main complication in the analysis of distributed systems is the immense diversity of distributed computing models, combined with the lack of mathematical tools to handle this complexity. In this mini-course, we begin with a gentle introduction into the basics of distributed computing and then discuss how to characterize the computability power of a large class of models via properties of the corresponding simplicial complexes, combinatorial structures capturing representative sets of model executions.
*本講義は録画し、Web上で公開します。講義室前方はカメラに写る場合がありますので、予めご了承下さい。