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

RE: (now completed) Slides from my talk at CPA2000

Dear All,

Regarding Tom's append on process/channel mobility as expressed in CSP,
do pi-calculus (or even join-calculus) provide the sort of expressiveness
in a process algebra that is being  eluded too?

I became interested in pi-calculas when modelling OO software
and its dynamic network of object instances as CSP processes
but I have not really followed it up much to date.

Gordon Hutchison
IBM Java Technology Centre,
IBM Hursley, UK.
Notes:   Gordon Hutchison/UK/IBM
Internet: gordon_hutchison@xxxxxxxxxx
Phone: (+44)/(0) 1962 815646 (Internal IBMUK-245646)