Towards the Synthesis of Asynchronous Concurrent Programs. - D. K. Arvind 001; B. R. J. McConnell (CONPAR, 1994)