Branching Bisimilarity Checking for PRS.

Qiang Yin Yuxi Fu Chaodong He Mingzhang Huang Xiuting Tao

Published in: CoRR (2014)

Keyphrases

branch and bound
operational semantics
email
mental states
approximate reasoning
consistency checking
neural network
digital libraries
evolutionary algorithm
search tree