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

Re: C. A. R. Hoares influence at MS-Research?

Thanks for passing this information along. Statically verifiable interprocess communication across strongly typed channels with no shared memory -- but no mention of Hoare or CSP anywhere in the document... Directly stated or not, the influence would seem to be undeniable. :-)


On Nov 7, 2005, at 8:48 AM, Bernhard Sputh wrote:

Hello List,

I just came across an interesting report from Microsoft Research about their
OS: Singularity.



Bernhard Sputh