Characterizing bisimilarity of value-passing parametrised processes.

Pawel Paczkowski

Published in: INFINITY (1996)

Keyphrases

case study
trade off
real time
neural network
learning algorithm
artificial intelligence
search engine
cooperative
information technology
process model
computational models