[moca] Applying transformations on an algebraic expression.

["Van Oudheusden Karel" <voudheus@xxxxxxx>]

Hello,

I am a PhD student in Imec, Leuven, Belgium. I'd like to get some feedback (web sites, articles, ...) about optimizations that are applied on algebraic expressions (e.g. Pi calculus). Is anybody heavily involved in this topic? And is this kind of work still academic in nature or is it already applicable on real-life examples?

thanks,
Karel.

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