© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A CSP Model for Java Multithreading
P.H. Welch and J.M.R. Martin
In P.Nixon and I.Ritchie, editors, Software Engineering for Parallel and Distributed Systems, pages 182-196. ICSE 2000, IEEE Computer Society Press, June 2000.Bibtex Record
@inproceedings{1150,
author = {P.H. Welch and J.M.R. Martin},
title = {A {CSP} {M}odel for {J}ava {M}ultithreading},
month = {June},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1150},
ISBN = {0-7695-0634-8},
booktitle = {Software Engineering for Parallel and Distributed Systems},
editor = {P.Nixon and I.Ritchie},
organization = {ICSE 2000},
publication_type = {inproceedings},
publisher = {IEEE Computer Society Press},
refereed = {Yes},
submission_id = {15295_978623172},
}