Communicating Functional Reactive Processes