A Truly Concurrent Game Model of the Asynchronous \pi -Calculus.

Ken Sakayori Takeshi Tsukada

Published in: FoSSaCS (2017)

Keyphrases

probabilistic model
data sets
computational model
mathematical model
probability distribution
management system
parameter estimation
theoretical framework
high level
experimental data