Automatic distribution of reactive systems for asynchronous networks of processors. (1999)

by P Caspi, A Girault, D Pilaud
Venue:IEEE transactions of software engineering,