Qual é a diferença entre contagem e semáforo binário?

O que eu vi em algum lugar é que ambos podem controlar o número N de processos que solicitaram um recurso. Ambos tomaram e estados livres.

Existe alguma restrição sobre quantos recursos um semáforo binário e um semáforo Contador podem proteger?

Ambos permitem que apenas um processo use um recurso de cada vez ...

Existe alguma outra diferença? As propriedades acima mencionadas estão corretas?