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

Re: Occam vs. monitor



Denis,

> > No!  Erroneous channel usage certainly causes deadlock.  That's the only
> > way deadlock occurs in occam systems.  Example:
> 
> Do you really mean this, Peter?

Sorry!  I was assuming that the following are all equivalent:

  (1) STOP

  (2) IF
        FALSE
          SKIP

  (3) CHAN OF INT a:
      a ! 42

  (4) CHAN OF INT a, b:
      PAR
        SEQ
          a ! 42
          b ! 99
        INT x, y:
        SEQ
          b ? x
          a ? y

which they are according to occam's formal semantics.  In that sense, items
(1) and (2) above are "Erroneous channel usage" ;-) ...

Peter.