A Categorical Model of an \mathbf i/o -typed \pi -calculus.

Ken Sakayori Takeshi Tsukada

Published in: ESOP (2019)

Keyphrases

objective function
probabilistic model
computational model
experimental data
simulation model
formal model
theoretical framework
real time
knowledge base
case study
hidden markov models
probability distribution
statistical model
conceptual model