Synthesizing Distributed Finite-State Systems from MSCs. TCS (2003)

by M Mukund, K Narayan Kumar, M Sohoni