A Behavioural Pseudometric based on lambda-Bisimilarity.

Jinjin Zhang Zhaohui Zhu

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

fixed point
collective decision making
case study
behavioural patterns
neural network
artificial intelligence
data model
object oriented
lambda calculus