The mutual exclusion problem: part II - Statement and solutions