Additional Metadata
THEME Software (theme 1)
Publisher North-Holland
Journal Science of Computer Programming
Citation
Moon, Y.-J, Silva, A.M, C. (born Köhler, , C.) Krause, ,, & Arbab, F. (2012). A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Science of Computer Programming.