The Buffered π-Calculus: A Model for Concurrent Languages

Xiaojie Deng Yu Zhang Yuxin Deng Farong Zhong

Published in: CoRR (2012)

Keyphrases

probabilistic model
computational model
statistical model
formal model
probability distribution
theoretical analysis
machine learning
experimental data