Verona

A research (not ready for non-reseearch use) programming language to explore the concept of concurrent ownership. We are providing a new concurrency model that seamlessly integrates ownership.