A question about structural congruence

[Luis Caires <Luis.Caires@xxxxxxxxxxxxx>]

Hello all,

I would like to place a question about structural
congruence as defined say in Milner's "Functions
as Processes".

Let == be pi-calculus structural congruence,
and P and Q processes such that

(nu n)P == (nu m)Q                                  (1)

where wlog assume n != m.

What can be said in general about P and Q? Does anyone
know of some proven result relating P and Q under ==  given (1)?

A conjecture may be something like:

 either (a) P == Q{n<->m} (where {n<->m} denotes exchange of n and m),
 or          (b) P == (nu m)P' and Q == (nu n)Q' and P' == Q'

Thanks for any help...

Best,

Luis




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