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).