@misc{indiciae896faa7e1dda, title = {Compositional Dataflow Via Abstract Transition Systems}, author = {Bronevetsky, Greg and Burke, Michael G. and Aananthakrishnan, Sriram and Zhao, Jisheng and Sarkar, Vivek}, year = {2013}, doi = {10.2172/1078549}, url = {https://www.osti.gov/biblio/1078549}, note = {Source identifier: 1078549} }