On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments