Travelled to:
1 × Spain
Collaborated with:
X.Deng Y.Zhang Y.Deng
Talks about:
calculus (1) languag (1) concurr (1) buffer (1) model (1)
Person: Farong Zhong
DBLP: Zhong:Farong
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.