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