© University of Kent - Contact | Feedback | Legal | FOI | Cookies
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures
Neil C. C. Brown
In Alistair A. McEwan, Wilson Ifill, and Peter H. Welch, editors, Communicating Process Architectures 2007, pages 182-196, July 2007.Bibtex Record
@inproceedings{2616,
author = {Neil C. C. Brown},
title = {{C}++{CSP}2: {A} {M}any-to-{M}any {T}hreading {M}odel for {M}ulticore {A}rchitectures},
month = {July},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2616},
publication_type = {inproceedings},
submission_id = {8650_1191601823},
ISBN = {978-1586037673},
booktitle = {Communicating Process Architectures 2007},
editor = {McEwan, Alistair A. and Ifill, Wilson and Welch, Peter H.},
}