Software Transactional Memory In Mercury

This thesis describes the design and implementation of a Software Transactional Memory system in Mercury, which is promising to be a much easier method of synchronisation.