111 citations · 528 across the 50 of their papers we have counts for
1 paper · 2 filters
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…