A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra | IEEE Conference Publication | IEEE Xplore