© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Parallel Processes as Reusable Components
P.H. Welch
In Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm, pages 182-196. Cambridge University Press, May 1987.Bibtex Record
@inproceedings{241,
author = {P.H. Welch},
title = {{Parallel Processes as Reusable Components}},
month = {May},
year = {1987},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1987/241},
author_ids = {phw},
booktitle = {Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm},
publisher = {Cambridge University Press},
}