[moca] Timed pi-calculus tool

[Anirban Bhattacharyya <a.bhattacharyya@xxxxxxxxx>]

Dear All,

I am investigating the use of Milner's pi-calculus
to model and analyse real-time systems,
and I would appreciate it if anyone could refer me to a tool
based on a timed version of Milner's pi-calculus.

Many thanks.

Anirban

**************************************
Anirban Bhattacharyya
PhD Student
School of Informatics
University of Northumbria at Newcastle
Newcastle upon Tyne, NE1 8ST, UK.
(Room P123, Tel. +44 (0)191-243-7616)
(mailto:a.bhattacharyya@xxxxxxxxxxxxxxxxx)
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html