Software Transactional Memory implementing semantic concurrency control.