A theory of membrane-adhesion-induced phase separation of two species of ligand-receptor complexes (i.e., junctions) is presented. Different species of junctions are assumed to have different natural heights and flexibilities. It is shown that the equilib
