© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An occam Approach to Transputer Engineering
P.H. Welch
In Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications, pages 182-196, Pasadena, California, USA, January 1988. ACM, ACM Conference Proceedings.Bibtex Record
@inproceedings{245,
author = {P.H. Welch},
title = {{An occam Approach to Transputer Engineering}},
month = {January},
year = {1988},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1988/245},
address = {Pasadena, California, USA},
author_ids = {phw},
booktitle = {Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications},
organization = {ACM},
publisher = {ACM Conference Proceedings},
}