•Higher level concurrent design in JavaTM.
•Better modularization through the use of packages.
•Complete separation of the abstract syntax from the semantics.
•Improved heterogeneity via a well-defined
abstract semantics.
•Thread-safe concurrent execution.
•A software architecture based on object modeling.
•A truly polymorphic type system.
•Domain-polymorphic actors.