@misc{indiciae50f9237d4385, title = {A linear programming approach to general dataflow process network verification and dimensioning}, author = {Renaud Sirdey and Pascal Aubry}, year = {2010}, doi = {10.4204/eptcs.38.11}, url = {https://arxiv.org/abs/1010.5573}, note = {Source identifier: 1010.5573} }