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

[moca] Timed Pi-Calculus?

To: moca@xxxxxxxxxxxxxxx
Subject: [moca] Timed Pi-Calculus?
From: Chen Jing <cj@xxxxxxxxx>
Date: Tue, 9 Apr 2002 19:57:20 +0800 (CST)
List-help: <mailto:sympa@lists-sop.inria.fr?subject=help>
List-id: <moca@lists-sop.inria.fr>
List-owner: <mailto:moca-request@lists-sop.inria.fr>
List-post: <mailto:moca@lists-sop.inria.fr>
List-subscribe: <mailto:sympa@lists-sop.inria.fr?subject=subscribe%20moca>
List-unsubscribe: <mailto:sympa@lists-sop.inria.fr?subject=unsubscribe%20moca>
Reply-to: Chen Jing <cj@xxxxxxxxx>

  Is there anyone who has extended Pi-Calculus to a real-time 
version (Timed Pi-calculus)?
  Now there are so many calculi extended by real-time, such as
Timed CCS, Timed CSP, etc. Why It seems that no one has extended 
Pi-Calculus? Because it is easy, trivial or very difficult? If 
anyone has tried and failed, maybe there is some great challenge?

J.Chen

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

Follow-Ups:
- Re: [moca] Timed Pi-Calculus?
  - From: Glynn Winskel

Prev by Date: [moca] Paper announcement
Next by Date: Re: [moca] Timed Pi-Calculus?
Previous by thread: [moca] The Picasso tool
Next by thread: Re: [moca] Timed Pi-Calculus?
Index(es):
- Date
- Thread