© 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}, }