© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Java threads in light of occam/CSP (tutorial)
P.H. Welch
In A. Bakkers, editor, Parallel Programming and Java, Proceedings of WoTUG 20, volume 50 of Concurrent Systems Engineering, pages 182-196, University of Twente, Netherlands, April 1997. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands.Bibtex Record
@inproceedings{295,
author = {P.H. Welch},
title = {{J}ava Threads in Light of occam/{CSP} (Tutorial)},
month = {April},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/295},
abstract = {Java provides support for parallel computing through a model that is built into the language itself. However, the designers of Java chose to be fairly conservative and settled for the contepts of t},
address = {University of Twente, Netherlands},
author_ids = {phw},
booktitle = {Parallel Programming and Java, Proceedings of WoTUG 20},
editor = {A. Bakkers},
organization = {World occam and Transputer User Group (WoTUG)},
publisher = {IOS Press, Netherlands},
series = {Concurrent Systems Engineering},
volume = {50},
}