Annotation Support for Scheduling and Asynchronous Execution - Examples