© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large)
C.J. Willcock and P.H. Welch
In P.H. Welch, D. Stiles, T.L. Kunii, and A. Bakkers, editors, TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference, pages 182-196, Sunnyvale, California, USA, April 1991. IOS Press, Netherlands ISBN 90 5199 045 9.Bibtex Record
@inproceedings{259,
author = {C.J. Willcock and P.H. Welch},
title = {{A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large)}},
month = {April},
year = {1991},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 90 5199 045 9},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1991/259},
address = {Sunnyvale, California, USA},
author_ids = {phw},
booktitle = {TRANSPUTING '91, Proceedings of the 1st World Transputer User Group Conference},
editor = {P.H. Welch and D. Stiles and T.L. Kunii and A. Bakkers},
publisher = {IOS Press, Netherlands},
}