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

Process Algebra question

To: <java-threads@xxxxxxxxxx>
Subject: Process Algebra question
From: "Campbell, John" <John.Campbell@xxxxxxxxxxxxxx>
Date: Thu, 19 Jul 2007 11:08:24 -0600
Delivery-date: Thu, 19 Jul 2007 18:30:52 +0100
Envelope-to: azz@localhost
In-reply-to: <735F04A99D358E468A16EDB64FC045550528414F@xxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
List-help: <mailto:sympa@kent.ac.uk?subject=help>
List-id: <java-threads.kent.ac.uk>
List-owner: <mailto:java-threads-request@kent.ac.uk>
List-post: <mailto:java-threads@kent.ac.uk>
List-subscribe: <mailto:sympa@kent.ac.uk?subject=subscribe%20java-threads>
List-unsubscribe: <mailto:sympa@kent.ac.uk?subject=unsubscribe%20java-threads>
References: <735F04A99D358E468A16EDB64FC045550528414F@xxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Sender: Mailing_List_Robot <sympa@xxxxxxxxxx>
Thread-index: AcfJXMHxDDyn7XKDRiWZ2P9pbJPySAAl+mMgAAvsAqA=
Thread-topic: Process Algebra question

Hi Folks

I need to say someting about process environments where there can be multiple copies of a particular process and I need to be precise about which copy is referenced. So, before I invent notation, does anyone have a pointer to a paper where this has been an issue?

Thanks. -jc

References:
- RE: JCSP Network Edition
  - From: Chalmers, Kevin

Prev by Date: RE: JCSP Network Edition
Next by Date: CPA 2008 Call For Papers
Previous by thread: RE: JCSP Network Edition
Next by thread: CPA-2002, IEE and BCS
Index(es):
- Date
- Thread