© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Role and Future of occam
P.H. Welch
Transputer Applications - Progress and Reports, Proceedings of the Final Transputer Initiative Symposium, pages 182-196, March 1992 Published by IOS Press, Netherlands. ISBN 90-5199-0790.Bibtex Record
@article{265,
author = {P.H. Welch},
title = {{The Role and Future of occam}},
month = {March},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Published by IOS Press, Netherlands. ISBN 90-5199-0790},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1992/265},
author_ids = {phw},
editor = {M.R. Jane and R. Fawcett and T. Mawby},
journal = {Transputer Applications -- Progress and Reports, Proceedings of the Final Transputer Initiative Symposium},
}