On the expressiveness and decidability of higher-order process calculi