Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors

Paul Caspi, Alain Girault, Daniel Pilaud. Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. IEEE Trans. Software Eng., 25(3):416-427, 1999. [doi]

Abstract

Abstract is missing.