🚀 go-pugleaf

While I was at ONR I heard two or three lectures concerning the CSP work
at Oxford.  I have tried to follow this work -- I have the CSP book by
Hoare, a couple of books on Occam (including the one by Geraint Jones), and
I've seen the recent "Laws of Programming" article in CACM.

I also have a fairly large set of lecture notes, most I believe
due to Bill Roscoe.

We here at the NASA Aerospace Human Factors Research Division are
interested in the use of CSP in modeling human-machine systems, and
also in the potential of transputer-based systems in designing and
building simulators for various kinds of aerospace task environments.

I am interested in getting an update on the CSP work -- more recent
technical reports especially concerning the efforts to extend the
algebraic work to include continuous time and stochastic processes.

My mailing address is

Dr. Michael G. Shafto
Assistant Chief (Research)
Aerospace Human Factors Research Division
Code FL, NASA-Ames Research Center
Moffett Field, CA   95120
USA


Also, I would be grateful for any information on others in the US or UK
who might be pursuing human-machine interaction modeling or simulation
using the CSP/Occam/Transputer framework.  I am aware of one effort,
by Dr. Art Farley at the University of Oregon.

Thanks.