Fairness for Transactional Events. - Edward Amsden; Matthew Fluet (IFL, 2011)