Precongruence formats for decorated trace preorders | IEEE Conference Publication | IEEE Xplore