School of Computing Science

Projects

TiMoTy: Time, Mobility and Types in Distributed Systems