[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Synchronous Communication = Swap
> Hi Adrian,
> With respect to the Sync, you get my point:
> "my" Sync == "your" CSP event
> From now on, I'll call "Sync", simply "Event".
> We are talking about the same thing.
> It is the same thing in CSP maths, but data transfer
> (the sugar) is added at language-level compared to
> x2Any means, as you suggested in deed: receiver is undetermined.
> x2Any can, as you suggested, be modelled in CSP.
> My guess (I realize my insight might be limited...):
> 1. You can model x2Any in CSP, by adding a new `mathematical' construct.
Sorry, I am just leaving and will be away from email for perhaps 2
weeks, so no time to give a proper reaction, or even time to read all
the messages in this thread properly. But I see no difficulty in
modelling x2Any in CSP using the existing mathematics. We have the
\maybe = \internal_choice = |~| operator.
Adrian (in great haste ...)
Dr A E Lawrence (from home)