Proving Behavioral Commutativity with CIRC | IEEE Conference Publication | IEEE Xplore