Marc Theisen, Felix C. Gärtner. Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems. In Kurt Mehlhorn, Gregor Snelting, editors, Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000. Informatik aktuell, pages 165-180, Springer, 2000. [doi]
Abstract is missing.