Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva (Eds.):
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction.
EPTCS 38 2010 
Renaud Sirdey,
Pascal Aubry:
A linear programming approach to general dataflow process network verification and dimensioning.
115-119
data released under the ODC-BY 1.0 license
