8 citations · 19 across the 12 of their papers we have counts for
4 papers · 1 filter
Extended Connectors: Structuring Glue Operators in BIP
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…
Towards a Theory of Glue
Simon Bliudze
We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a…
Proceedings Fourth Interaction and Concurrency Experience
Alexandra Silva, Simon Bliudze, Roberto Bruni +1
This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satel…
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
Simon Bliudze, Roberto Bruni, Davide Grohmann +1
This volume contains the proceedings of the 3rd Interaction and Concurrency Experience (ICE 2010) workshop, which was held in Amsterdam, Netherlands on 10th of June 2010 as a satel…