A concurrent, class-based, object-oriented, language specifically designed to have as few implementation dependencies as possible