© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Synthesis of Deadlock-Free Parallel Programs
P.H. Welch and G.R.R. Justo
In Proceedings of the 3rd pan-Hellenic Conference on Information Technology, pages 182-196, Athens, Greece, May 1991. Greek Computer Society.Bibtex Record
@inproceedings{261,
author = {P.H. Welch and G.R.R. Justo},
title = {{Synthesis of Deadlock-Free Parallel Programs}},
month = {May},
year = {1991},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1991/261},
address = {Athens, Greece},
author_ids = {phw},
booktitle = {Proceedings of the 3rd pan-Hellenic Conference on Information Technology},
publisher = {Greek Computer Society},
}