Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.

@article {489,
	title = {Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.},
	year = {2008},
	note = {Exploiting Concurrency Efficiently and Correctly ? (EC)2, CAV 2008 Workshop, Princeton, NJ, USA, July 7-8, 2008.},
	author = {Trojahner, K.}
}