Bisimilarity via unique-solution techniques