Idit Keidar. Distributed computing column 46: synthesizing distributed and concurrent programs. SIGACT News, 43(2):84, 2012. [doi]
@article{Keidar12a, title = {Distributed computing column 46: synthesizing distributed and concurrent programs}, author = {Idit Keidar}, year = {2012}, doi = {10.1145/2261417.2261436}, url = {http://doi.acm.org/10.1145/2261417.2261436}, researchr = {https://researchr.org/publication/Keidar12a}, cites = {0}, citedby = {0}, journal = {SIGACT News}, volume = {43}, number = {2}, pages = {84}, }