North-Holland
doi.org/10.1016/j.scico.2011.11.007
Science of Computer Programming
Computer Security

Moon, Y.-J., Silva, A., C. (born Köhler, , C.) Krause, C., & Arbab, F. (2014). A compositional model to reason about end-to-end QoS in Stochastic Reo Connectors. Science of Computer Programming, 80(A), 3–24. doi:10.1016/j.scico.2011.11.007