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

RE: csp as database query language




> -----Original Message-----
> From: A E Lawrence [mailto:A.E.Lawrence@xxxxxxxxxxx]
> Sent: 17 March 2003 10:58
> To: occam-com@xxxxxxxxx
> Cc: Gordon Hutchison
> Subject: Re: csp as database query language
>
>
> Gordon Hutchison wrote:
> >
> >
> > Do you mean something analogous to the "ready set" for a process - i.e.
> > those events the process will
> > accept from it's environment being the result set of the query
> processed at
> > that point?
> >
> > I was often warned that visibility of the offered events of a process
> > without them actually
> > occurring led to a break down of some of the useful
> mathematical properties
> > of composed CSP
> > processes. Can anyone (re)explain this to me....  :-)
>
> I am not sure who said that and in what context. But I plan to
> give a paper
> at CPA-2003 provisionally called "Overtures and hesitant offers". That is
> all about the semantics of hiding and offered events not actually
> accepted
> (in my denotational terminology). The point is that a CSP(P) process can
> undergo internal transitions as a result of an offer, even if the
> offer is
> not accepted.
>

Is that the logic required to prove dating WWW sites correct?