19 citations · 92 across the 16 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…