© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Higher-Level Paradigms for Deadlock-Free High-Performance Systems
P.H. Welch, G.R.R. Justo, and C.J. Willcock
In R. Grebe, J. Hektor, S.C. Hilton, M.R. Jane, and P.H. Welch, editors, Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress, volume 2, pages 182-196, Aachen, Germany, September 1993. IOS Press, Netherlands ISBN 90-5199-140-1. Download publication 250 kbytes (PDF)Bibtex Record
@inproceedings{279,
author = {P.H. Welch and G.R.R. Justo and C.J. Willcock},
title = {{Higher-Level Paradigms for Deadlock-Free High-Performance Systems}},
month = {September},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 90-5199-140-1},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/279},
address = {Aachen, Germany},
author_ids = {phw},
booktitle = {Transputer Applications and Systems '93, Proceedings of the 1993 World Transputer Congress},
editor = {R. Grebe and J. Hektor and S.C. Hilton and M.R. Jane and P.H. Welch},
publisher = {IOS Press, Netherlands},
volume = {2},
}