8 citations · 19 across the 12 of their papers we have counts for
1 paper · 1 filter
Eduard Baranov, Simon Bliudze
Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encom…