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.
@inproceedings{ArvindM94,
title = {Towards the Synthesis of Asynchronous Concurrent Programs},
author = {D. K. Arvind and B. R. J. McConnell},
year = {1994},
researchr = {https://researchr.org/publication/ArvindM94},
cites = {0},
citedby = {0},
pages = {124-135},
booktitle = {Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings},
editor = {Bruno Buchberger and Jens Volkert},
volume = {854},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58430-7},
}