Towards the Synthesis of Asynchronous Concurrent Programs

D. K. Arvind, B. R. J. McConnell. Towards the Synthesis of Asynchronous Concurrent Programs. In Bruno Buchberger, Jens Volkert, editors, Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings. Volume 854 of Lecture Notes in Computer Science, pages 124-135, Springer, 1994.

Abstract

Abstract is missing.