Property propagation rules for prioritizing and synchronizing trading activities | IEEE Conference Publication | IEEE Xplore