© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Auto-Mobiles: Optimised Message-Passing
Neil C. C. Brown
In Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Frederick R.M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, and Brian Vinter, editors, Communicating Process Architectures 2009, volume 67 of Concurrent Systems Engineering, pages 182-196, Amsterdam, The Netherlands, November 2009. WoTUG, IOS Press. Download publication 253 kbytes (PDF)Bibtex Record
@inproceedings{3018,
author = {Neil C. C. Brown},
title = {{Auto-Mobiles: Optimised Message-Passing}},
month = {November},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/3018},
publication_type = {inproceedings},
submission_id = {884_1277403192},
ISBN = {978-1-60750-065-0},
booktitle = {Communicating Process Architectures 2009},
editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Frederick R.M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter},
volume = {67},
series = {Concurrent Systems Engineering},
address = {Amsterdam, The Netherlands},
organization = {WoTUG},
publisher = {IOS Press},
ISSN = {1383-7575},
}