Intruiging performances of equivalence by session #68
Description
Here is a file where equivalence by session is significantly faster than the analogue verification query for determinate processes. The file models a sequence
P; P; ...; P
where the sequence is modelled by a form of token passing without private channels, but with a private function symbol (more detailed explanations in the file).