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