2002 | ||
---|---|---|
4 | Xiaogang Zhang, John Potter: Responsive Bisimulation. IFIP TCS 2002: 601-612 | |
1998 | ||
3 | Xiaogang Zhang: A Compositional Approach to Concurrent Object Systems. ECOOP Workshops 1998: 18-19 | |
2 | EE | Xiaogang Zhang, John Potter: A Compositional Approach to Concurrent Objects. TOOLS (27) 1998: 116-126 |
1997 | ||
1 | EE | Xiaogang Zhang, John Potter: Class-Based Models in the -Calculus. TOOLS (25) 1997: 238-251 |
1 | John Potter | [1] [2] [4] |