Comparing cospan-spans and tiles via a Hoare-style process calculus