Partial Evaluation of Reactive Concurrent Programs