[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: (now completed) Slides from my talk at CPA2000
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.
IBM Java Technology Centre,
IBM Hursley, UK.
Notes: Gordon Hutchison/UK/IBM
Phone: (+44)/(0) 1962 815646 (Internal IBMUK-245646)