[moca] structural congruence

[Joost Engelfriet <engelfri@xxxxxxxx>]

The following report is now available at
http://www.liacs.nl/home/engelfri/repres.ps :


J. Engelfriet, T.E. Gelsema; 
  The Decidability of Structural Congruence for
  Replication Restricted pi-Calculus Processes,
Technical Report 04-07, Leiden Institute of Advanced Computer Science, 
Leiden University, The Netherlands, May 2004

Abstract: 
Structural congruence of the pi-calculus is decidable for a subclass 
of process terms for which replication within a restriction is limited. 
This large subclass is decidable, closed under structural congruence, 
and behaviourally complete. The decidability proof reduces the structural
congruence of two process terms from the subclass to solving a system of 
linear equations with natural coefficients.

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