Travelled to:
1 × Spain
Collaborated with:
Y.Zhang Y.Deng F.Zhong
Talks about:
calculus (1) languag (1) concurr (1) buffer (1) model (1)
Person: Xiaojie Deng
DBLP: Deng:Xiaojie
Contributed to:
Wrote 1 papers:
- LATA-2013-DengZDZ #concurrent #π-calculus
- The Buffered π-Calculus: A Model for Concurrent Languages (XD, YZ, YD, FZ), pp. 250–261.