© University of Kent - Contact | Feedback | Legal | FOI | Cookies
CSP for Java : Multithreading for All
P.H. Welch, G.S. Stiles, G.H. Hilderink, and A.P. Bakkers
In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.Bibtex Record
@inproceedings{754,
author = {P.H. Welch and G.S. Stiles and G.H. Hilderink and A.P. Bakkers},
title = {{CSP} for {J}ava : {M}ultithreading for {A}ll},
month = {April},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/754},
ISBN = {90 5199 480 X},
address = {Amsterdam, the Netherlands},
booktitle = {Architectures, Languages and Techniques for Concurrent Systems},
editor = {B.M.Cook},
organization = {WoTUG},
publisher = {IOS Press},
refereed = {Yes},
series = {Concurrent Systems Engineering Series},
volume = {57},
}