Weak Models of Distributed Computing, with Connections to Modal Logic

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Kuusisto Antti
    Aikajakso12 heinäk. 2012
    Tapahtuman otsikkoHIIT seminar
    Tapahtuman tyyppiOther
    Tunnustuksen arvoNational