19 citations · 51 across the 10 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019★ 2 cited
On Resolving Non-determinism in Choreographies
Laura Bocchi, Hernan Melgratti, Emilio Tuosto
Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreo…
cs.SE2010★ 6 cited
Structure and Behaviour of Virtual Organisation Breeding Environments
Laura Bocchi, José Fiadeiro, Noor Rajper +1
This paper provides an outline of a formal approach that we are developing for modelling Virtual Organisations (VOs) and their Breeding Environments (VBEs). We propose different le…