Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.

TitleAssembling Concurrent Programs Correctly from Data-Parallel Program Bricks.
Publication TypeJournal Article
Year of Publication2008
AuthorsTrojahner, K
Bibtex: 
@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.}
}