Process and Thread Set Notation