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

RE: Poison

To: <P.H.Welch@xxxxxxxxx>, <adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Subject: RE: Poison
From: "Gerald Hilderink" <g.h.hilderink@xxxxxxx>
Date: Thu, 26 Jul 2001 18:49:06 +0200
Cc: <java-threads@xxxxxxxxx>, <mboosten@xxxxxxxxxxxxxxxxxxx>, <occam-com@xxxxxxxxx>
Importance: Normal
In-reply-to: <E15Pln5-0003IT-00@xxxxxxxxxxxxxxxx>
Reply-to: <g.h.hilderink@xxxxxxx>

Oh ....

and what about this

GUARD
  PRI PAR
   P
   Q
   R
  PAR  -- interrupt handling by two processes in parallel
   T
   S

(= (P||Q||R)^(T||S) )

this is looks like

PRI PAR + terminate modification
  PAR
   T
   S
  PRI PAR
   P
   Q
   R

Gerald.

References:
- Re: Poison
  - From: P . H . Welch

Prev by Date: RE: Poison
Next by Date: Re: The future of CSP? (OO & CSP)
Previous by thread: Re: Poison
Next by thread: Re: Poison
Index(es):
- Date
- Thread