111 citations · 528 across the 50 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
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…
cs.LO2010★ 11 cited
Non-Deterministic Kleene Coalgebras
Alexandra Silva, Marcello Bonsangue, Jan Rutten
In this paper, we present a systematic way of deriving (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of…