111 citations · 528 across the 50 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2017
Conditional Transition Systems with Upgrades
Harsh Beohar, Barbara König, Sebastian Küpper +1
We introduce a variant of transition systems, where activation of transitions depends on conditions of the environment and upgrades during runtime potentially create additional tra…
cs.SE2010★ 14 cited
A Compositional Semantics for Stochastic Reo Connectors
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…