14 citations · 14 across the 1 of their papers we have counts for
1 paper · 1 filter
Young-Joo Moon, Alexandra Silva, Christian Krause +1
In this paper we present a compositional semantics for the channel-based coordination language Reo which enables the analysis of quality of service (QoS) properties of service comp…