© 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.}, }