External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Buffered π-Calculus: A Model for Concurrent Languages

Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong. The Buffered π-Calculus: A Model for Concurrent Languages. In Adrian Horia Dediu, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. Volume 7810 of Lecture Notes in Computer Science, pages 250-261, Springer, 2013. [doi]

Authors

Xiaojie Deng

This author has not been identified. Look up 'Xiaojie Deng' in Google

Yu Zhang

This author has not been identified. Look up 'Yu Zhang' in Google

Yuxin Deng

This author has not been identified. Look up 'Yuxin Deng' in Google

Farong Zhong

This author has not been identified. Look up 'Farong Zhong' in Google
runs on