On transaction processing with partial validation and timestamp ordering in mobile broadcast environments | IEEE Journals & Magazine | IEEE Xplore