© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Higher Levels of Process Synchronisation
Peter H. Welch and David C. Wood
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. Download publication 236 kbytes (PDF)Bibtex Record
@inproceedings{293,
author = {Peter H. Welch and David C. Wood},
title = {{Higher Levels of Process Synchronisation}},
month = {April},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/293},
ISBN = {90-5199-336-6},
address = {University of Twente, Netherlands},
author_ids = {phw dcw},
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},
}