Analyzing Concurrency in Computational Networks (Extended Abstract)

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.

• Analyzing Concurrency in Computational Networks (Extended Abstract)
  S. Stuijk and T. Basten.
  In Formal Methods and Models for Codesign, 1st ACM & IEEE International Conference, MEMOCODE 03, Proceedings, pages 47-48. Mont Saint-Michel, France, 24-26 June, 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (abstract, pdf, doi).