[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
On Nov 7, 2005, at 8:48 AM, Bernhard Sputh wrote:
I just came across an interesting report from Microsoft Research