use normalization to test Process.equivalent?

[dckc]

@leithaus in the rholang interpreter, processes can be normalized, compared, and sorted. Any particular reason rho.ml doesn't implement structural equivalence by normalization and comparison?

Is rho calculus strongly normalizing?

cc @Jake-Gillberg whose Rho.scala does structural equivalence by way of normalization.

[leithaus]

Dear Dan, Excellent observation! Kyle spotted it as well. The spatial formulae are all checkable that way. The behavioral formulae, the modal formulae specifically, do symbolic execution. Love to all Beings, —greg

On Tue, Feb 26, 2019 at 10:40 AM Dan Connolly ***@***.***> wrote: @leithaus <https://github.com/leithaus> in the rholang interpreter <https://github.com/rchain/rchain/tree/dev/rholang>, processes can be normalized, compared, and sorted. Any particular reason rho.ml <https://github.com/leithaus/rhocaml/blob/master/rho.ml> doesn't implement structural equivalence by normalization and comparison? Is rho calculus strongly normalizing <https://en.wikipedia.org/wiki/Normalization_property_(abstract_rewriting)> ? cc @Jake-Gillberg <https://github.com/Jake-Gillberg> — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#5>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAEranrY4iFvcRARgJz8_CPVLhhG0NoJks5vRX-RgaJpZM4bS2BN> .

-- L.G. Meredith President RChain Coop 9336 California Ave SW Seattle, WA 98136 +1 206.650.3740 r <http://biosimilarity.blogspot.com>chain.coop <http://rchain.coop>