North-Holland
Science of Computer Programming
Computer Security

Moon, Y.-J., Silva, A., C. (born Köhler, , C.) Krause, C., & Arbab, F. (2012). A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Science of Computer Programming.