  We show explicitly that Boolean inverse semigroups are in duality with what
we term Boolean groupoids. This generalizes the classical Stone duality, which
we refer to as commutative Stone duality, between generalized Boolean algebras
and locally compact Hausdorff $0$-dimensional spaces.
