School of Computing

Projects

TiMoTy: Time, Mobility and Types in Distributed Systems