decidability results

[David Walker <walker@xxxxxxxxxxxxxxx>]

Dear all,

I would like to check what is known about decidability and
undecidability of equivalences on sets of pi-calculus terms,
and would be grateful for pointers to papers or other sources
that contain results on this topic.

David Walker
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html