© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Shared-Memory Multi-Processors and occam
P.H. Welch
WoTUG Newsletter No. 17, pages 182-196, July 1992.Bibtex Record
@article{269, author = {P.H. Welch}, title = {{Shared-Memory Multi-Processors and occam}}, month = {July}, year = {1992}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1992/269}, author_ids = {phw}, journal = {WoTUG Newsletter No. 17}, }