School of Computing

Toward Process Architectures for Behavioural Robotics

Jonathan Simpson and Carl G. Ritson

In Peter H. Welch, H.W. Roebbers, J.F. Broenink, F.R.M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, and B. Vinter, editors, Communicating Process Architectures 2009, volume 67 of Concurrent Systems Engineering, pages 182-196, Amsterdam, The Netherlands, November 2009. IOS Press.

Bibtex Record

author = {Jonathan Simpson and Carl G. Ritson},
title = {{Toward Process Architectures for Behavioural Robotics}},
month = {November},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {18053_1269866361},
    ISBN = {9781607500650},
    booktitle = {Communicating Process Architectures 2009},
    editor = {Peter H. Welch and H.W. Roebbers and J.F. Broenink and F.R.M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and B. Vinter},
    volume = {67},
    series = {Concurrent Systems Engineering},
    address = {Amsterdam, The Netherlands},
    publisher = {IOS Press},
    refereed = {Yes},

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

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

Last Updated: 21/03/2014