© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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
@inproceedings{2988,
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 = {http://www.cs.kent.ac.uk/pubs/2009/2988},
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},
}