Analyzing concurrency in computational networks
Sander Stuijk, Twan Basten · International Conference on Formal Methods and Models for Co-Design · 2003
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.