School of Computing

Modelling concurrent cognitive architectures using process calculi

H. Bowman

In Sebastiano Bagnara, editor, European Conference on Cognitive Science 1999, pages 182-196. Istituto di Psicologia, CNR, October 1999.


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.

Download publication 254 kbytes (PostScript)

Bibtex Record

author = {H. Bowman},
title = {Modelling Concurrent Cognitive Architectures Using Process Calculi},
month = {October},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    ISBN = {88-85059-10-4},
    booktitle = {European Conference on Cognitive Science 1999},
    editor = {Sebastiano Bagnara},
    publication_type = {inproceedings},
    publisher = {Istituto di Psicologia, CNR},
    refereed = {yes},
    submission_id = {15122_945108157},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014