Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.
Title | Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks. |
Publication Type | Journal Article |
Year of Publication | 2008 |
Authors | Trojahner, 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.} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact