[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: question about structural congruence




Uwe.Nestmann@xxxxxxx wrote:

>
> At least the work by Engelfriet/Gelsema (TCS 211, 1999)
> shows that structural congruence coincides with multiset
> congruence in the context of their "small" pi-calculus.
> (Similar to Milner's relation between static laws of CCS and
> the algebra of flow graphs, IIRC.)

Yes - but as I remember this is not _exactly_ a model of SC, though it
comes close, and it is still open how to get an exact model of SC. Perhaps
Joost or Tjalling can comment if there is recent progress here?

Also, I'd second Uwe's implicit question: what is known about decidability
of SC?

Joachim

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

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