All Stories

  1. Reliable Restricted Process Theory

    Article • Fundamenta Informaticae, February 2019, IOS Press

    Wan Fokkink, Fatemeh Ghassemi