© University of Kent - Contact | Feedback | Legal | FOI | Cookies
On the Serialisation of Parallel Programs
P.H. Welch
In Janet Edwards, editor, Occam and the Transputer - Current Developments, Proceedings of WoTUG 14, pages 182-196, University of Loughborough, UK, September 1991. World occam and Transputer User Group, IOS Press, Netherlands ISBN 90-5199-063-4. Download publication 73 kbytes (PDF)Bibtex Record
@inproceedings{263,
author = {P.H. Welch},
title = {{On the Serialisation of Parallel Programs}},
month = {September},
year = {1991},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 90-5199-063-4},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1991/263},
address = {University of Loughborough, UK},
author_ids = {phw},
booktitle = {Occam and the Transputer -- Current Developments, Proceedings of WoTUG 14},
editor = {Janet Edwards},
organization = {World occam and Transputer User Group},
publisher = {IOS Press, Netherlands},
}