Sound Bisimulations for Higher-Order Distributed Process Calculus.

Adrien Piérard Eijiro Sumii

Published in: FoSSaCS (2011)

Keyphrases

higher order
cooperative
data sets
real time
distributed systems
high order
distributed environment
data mining
machine learning
learning algorithm
artificial intelligence
neural network
digital libraries
natural images
expressive power
computer networks
lower order
distributed network