A family of abstract interpretations for static analysis of concurrent higher-order programs