Re: CSP/JCSP Tutorial at PDPTA 2001

["P.H.Welch" <P.H.Welch@xxxxxxxxx>]

Owen,

Sorry - one typo in my first line of CSP:

>   ( ( (a --> A) [] (b --> B) ) || a --> SKIP !! b --> SKIP ) \ {a, b}

should have been:

<   ( ( (a --> A) [] (b --> B) ) || a --> SKIP || b --> SKIP ) \ {a, b}

My eyes are straining to see the keyboard ... I haven't invented a funny
double output, !!, operator ... !! :)

There were a few (English) grammar glitches as well - especially nearer
the end of my posting - apologies again!

Peter.