Text this: Automatic distribution of reactive systems for asynchronous networks of processors.