Travelled to:
1 × Australia
1 × China
Collaborated with:
J.Potter
Talks about:
composit (1) calculus (1) approach (1) concurr (1) object (1) model (1) class (1) base (1)
Person: Xiaogang Zhang
DBLP: Zhang:Xiaogang
Contributed to:
Wrote 2 papers:
- TOOLS-ASIA-1998-ZhangP #approach #composition #concurrent
- A Compositional Approach to Concurrent Objects (XZ, JP), pp. 116–126.
- TOOLS-PACIFIC-1997-ZhangP #calculus #modelling
- Class-Based Models in the -Calculus (XZ, JP), pp. 238–251.