Pomset vs BV

Hi all,

In Christian Retore's paper on Pomset Logic, he shows (via coherence
semantics) that there is only one self-dual noncommutative binary
operator which can be added to MLL. Since BV gives such an operator,
can't one just conclude that it captures the Pomset operator? That is,
do we *really* need to consider the proof nets for Pomset (of which
there are two flavours - the one in Retore's original paper, and the one
based on "directed cographs"). Thinking about chords in ae-circuits
makes my head spin :)

Jon