We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach
automatically detects more programs to be partially confluent than previous approaches and is able to handle a mix of different
kinds of communication channels, including shared reference cells.
This research was supported in part by NSF Grant No. CCR-0326577.