Travelled to:
1 × China
Collaborated with:
X.Zhou S.Li
Talks about:
sequenti (1) communic (1) process (1) type (1)
Person: Wenjun Li
DBLP: Li:Wenjun
Contributed to:
Wrote 1 papers:
- TOOLS-ASIA-1999-LiZL #communication #csp #process #type system
- The Typing of Communicating Sequential Processes (WL, XZ, SL), pp. 61–66.