Pure names are currently only used for: - Determinate processes - Session equivalence when there is no private channel We could improve the second one by checking whether the pure name was output on public channel. That would make it a less black/white optimization We could also add the feature for generic equivalence (with the same restriction on public channel).
Pure names are currently only used for:
We could improve the second one by checking whether the pure name was output on public channel. That would make it a less black/white optimization
We could also add the feature for generic equivalence (with the same restriction on public channel).