© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Design Strategy for Deadlock-Free Concurrent Systems
J.M.R. Martin and P.H. Welch
Transputer Communications, 3(4):182-196, June 1997 (In press). Published by John Wiley and Sons. Download publication 101 kbytes (PDF)Bibtex Record
@article{296,
author = {J.M.R. Martin and P.H. Welch},
title = {{A Design Strategy for Deadlock-Free Concurrent Systems}},
month = {June},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {(In press). Published by John Wiley and Sons},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/296},
ISSN = {1070-454X},
author_ids = {phw},
journal = {Transputer Communications},
number = {4},
volume = {3},
}