However, now we present a recently proposed [1]}, [2]} behavioral equivalence, called causal-net bisimilarity, whose decidability is open, as the proof in [3]}, [4]} does not apply to it.
In order to define it, we need some auxiliary
definitions, adapting those in, e.g.,
[5]}, [6]}, [7]}, [8]}, [1]}.
