Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs.

Richard Garner Tom Hirschowitz Aurélien Pardon

Published in: CONCUR (2009)

Keyphrases

equational theories
theoretical framework
data sets
neural network
multi agent
feature selection
queueing networks