Locally compact semi-algebras: With applications to