Formal Descriptions of a Set of Meta Cognitive Processes of the Brain | IEEE Conference Publication | IEEE Xplore