Hoare, Communicating Sequential Processes, and JCSP

[John-Olof Bauner]

Mike Williams wrote:

>This is a wonderful example of faultly thinking leading to a unecssary problem
>and research being directed to solving that unecessary problem. A somewhat far
>fetched parallel is Java being used to solve the unecessary problems created
>by C++ :-)
>
Well and UML is also some snake oil to solve the C++ problem ...

John-Olof