On Unique Decomposition of Processes in the Applied π-Calculus.

Jannik Dreier Cristian Ene Pascal Lafourcade Yassine Lakhnech

Published in: FoSSaCS (2013)

Keyphrases

neural network
stochastic processes
database
real world
case study
objective function
multi agent
search algorithm
multi agent systems