Modelling Concurrent Cognitive Architectures Using Process Calculi

Theories of concurrent systems have been extensively investigated in the computer science domain. However, these theories are very general in nature and hence, we would argue, are applicable to many disciplines in which concurrency arises. Furthermore, a number of existing theories of cognitive science are concurrent in nature. Thus, we investigate the application of a (process calculi based) concurrency theory to modelling Interacting Cognitive Subsystems, which is such a (concurrent) cognitive theory. Then we consider the capabilities of the cognitive system to perform combinations of speech and gesture in multi-modal human computer interaction.