A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra.

Woorim Choi, Yeongbok Choe, Moonkun Lee

Browse the full COMPSAC paper archive.