Synthesizing Distributed Finite-State Systems from MSCs.

Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni

Browse the full CONCUR paper archive.