© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Configuring Distributed occam Programs using Doc
S.V. Demiralp
In H. Arabnia et al., editors, Proceedings of the PDPTA''96, pages 182-196, Sunnyvale, California, USA, August 1996. CSREA, Athens, Georgia ISBN 0-9648666-3-3.Bibtex Record
@inproceedings{290,
author = {S.V. Demiralp},
title = {{Configuring Distributed occam Programs using Doc}},
month = {August},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 0-9648666-3-3},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/290},
address = {Sunnyvale, California, USA},
author_ids = {svd},
booktitle = {Proceedings of the PDPTA'96},
editor = {H. Arabnia and others},
publisher = {CSREA, Athens, Georgia},
}