Back to the list of publications.
We present a concurrency model that allows reasoning about concurrency in executable specifications. The model mainly focuses on data-flow and streaming applications and at task-level concurrency. The aim of the model is to provide insight in concurrency bottlenecks in an application and to provide support for performing implementation-independent concurrency optimization.
(postscript / pdf version of the complete paper)
Back to the list of publications.