Moon, Young-JooYoung-JooMoonSilva, AlexandraAlexandraSilvaKrause, ChristianChristianKrauseArbab, FarhadFarhadArbab2024-10-142024-10-142011https://knowledge.hpi.de/handle/123456789/1599A Compositional Model to Reason about end-to-end QoS in Stochastic Reo Connectorsarticle