Computational Models of Certain Hyperspaces of Quasi-metric Spaces (Logical Methods in Computer Science, 2011)