Order-Independence of Vector-Based Transition Systems | IEEE Conference Publication | IEEE Xplore