A concurrency framework for the Ivory language