omelkonian/formal-utxo

Bisimulation: Full formulation

Opened this issue · 0 comments

omelkonian commented

Apart from proving soundness and (weak) completeness, formulate bisimulation as a whole (a la Sangiorgi).