8 citations · 19 across the 12 of their papers we have counts for
1 paper · 1 filter
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…