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

["Marc L. Smith" <mlsmith@xxxxxxxxx>]

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.  :-)

-Marc

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.
>
> ftp://ftp.research.microsoft.com/pub/tr/TR-2005-135.pdf
>
> http://research.microsoft.com/os/singularity/
>
> Cheers
> Bernhard Sputh