© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Farming: towards a rigorous definition and efficient transputer implementation
W.G. Day
In Alastair Allen, editor, Transputer Systems - Ongoing Research, Proceedings of WoTUG 15, pages 182-196, University of Aberdeen, UK, April 1992. World occam and Transputer User Group, IOS Press, Netherlands ISBN 90-5199-085-5.Bibtex Record
@inproceedings{267,
author = {W.G. Day},
title = {{Farming: towards a rigorous definition and efficient transputer implementation}},
month = {April},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 90-5199-085-5},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1992/267},
address = {University of Aberdeen, UK},
booktitle = {Transputer Systems -- Ongoing Research, Proceedings of WoTUG 15},
editor = {Alastair Allen},
organization = {World occam and Transputer User Group},
publisher = {IOS Press, Netherlands},
}