Practical Derivatives: A Transactional Approach