Typing processes in process calculi?

• To: types@cs.indiana.edu
• Subject: Typing processes in process calculi?
• From: Karthik <bkarthik@gradient.cis.upenn.edu>
• Date: Sat, 2 May 1998 12:35:09 -0400 (EDT)
• Delivery-Date: Sat, 02 May 1998 11:35:14 -0500

Has anyone heard of work on types for processes in process calculi?
In particular, I'm looking for work on the pi-calculus.  I do have
references to papers that type channels, but not any that type
processes.

Karthik

• Prev: Second Call for Papers
• Next: ML Workshop -- Call for Papers
• Index(es):
  • Main
  • Thread