Murat Demirbas SUNY Buffalo CSE Dept. Transact: A Transactional Programming Framework for Wireless Sensor/Actor Networks optimistic concurrency control consistency &…