Bill Rounds, Univ of Michigan Ann Arbor has extended pi to include time. Best Glynn Winskel ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The "models for mobility" mailing list mailto:moca@xxxxxxxxxxxxxxx http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html