@book{silberschatz2006operating,
  title={OPERATING SYSTEM PRINCIPLES, 7TH ED},
  author={Silberschatz, A. and Galvin, P.B. and Gagne, G.},
  isbn={9788126509621},
  series={Wiley student edition},
  url={https://books.google.com/books?id=WjvX0HmVTlMC},
  year={2006},
  publisher={Wiley India Pvt. Limited}
}


@article{coffman1971system,
  title={System deadlocks},
  author={Coffman, Edward G and Elphick, Melanie and Shoshani, Arie},
  journal={ACM Computing Surveys (CSUR)},
  volume={3},
  number={2},
  pages={67--78},
  year={1971},
  publisher={ACM}
}


@article{rice,
 ISSN = {00029947},
 URL = {http://www.jstor.org/stable/1990888},
 author = {H. G. Rice},
 journal = {Transactions of the American Mathematical Society},
 number = {2},
 pages = {358-366},
 publisher = {American Mathematical Society},
 title = {Classes of Recursively Enumerable Sets and Their Decision Problems},
 volume = {74},
 year = {1953}
}

@book{stalling,
  Author = {William Stallings},
  Title = {Operating Systems: Internals and Design Principles 7th Ed. by Stallings (International Economy Edition)},
  Publisher = {PE},
  Year = {2011},
  ISBN = {9332518807},
  URL = {https://www.amazon.com/Operating-Systems-Internals-Principles-International/dp/9332518807?SubscriptionId=0JYN1NVW651KCA56C102&tag=techkie-20&linkCode=xm2&camp=2025&creative=165953&creativeASIN=9332518807}
}

@techreport{Dijkstra:1965:CSP:1102034,
 author = {Dijkstra, Edsger Wybe},
 title = {Cooperating Sequential Processes, Technical Report EWD-123},
 year = {1965}
} 


@unpublished{EWD:EWD310,
   author = "Edsger W. Dijkstra",
   title = "Hierarchical ordering of sequential processes",
   year = "n.d.",
   note = "published as {\cite EWD:EWD310pub}",
   url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD310.PDF",
   fileSize = "1017 KiB"
   }

@article{Chandy:1984:DPP:1780.1804,
 author = {Chandy, K. M. and Misra, J.},
 title = {The Drinking Philosophers Problem},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {Oct. 1984},
 volume = {6},
 number = {4},
 month = oct,
 year = {1984},
 issn = {0164-0925},
 pages = {632--646},
 numpages = {15},
 url = {http://doi.acm.org/10.1145/1780.1804},
 doi = {10.1145/1780.1804},
 acmid = {1804},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@article{Hyman:1966:CPC:365153.365167,
 author = {Hyman, Harris},
 title = {Comments on a Problem in Concurrent Programming Control},
 journal = {Commun. ACM},
 issue_date = {Jan. 1966},
 volume = {9},
 number = {1},
 month = jan,
 year = {1966},
 issn = {0001-0782},
 pages = {45--},
 url = {http://doi.acm.org/10.1145/365153.365167},
 doi = {10.1145/365153.365167},
 acmid = {365167},
 publisher = {ACM},
 address = {New York, NY, USA},
} 


