Equational reasoning about LOTOS specifications: a rewriting approach | IEEE Conference Publication | IEEE Xplore