Deadlock Absence Proofs for Networks of Communicating Processes - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

K. Mani Chandy, Jayadev Misra. Deadlock Absence Proofs for Networks of Communicating Processes. Inf. Process. Lett., 9(4):185-189, 1979.

@article{ChandyM79:0,
  title = {Deadlock Absence Proofs for Networks of Communicating Processes},
  author = {K. Mani Chandy and Jayadev Misra},
  year = {1979},
  researchr = {https://researchr.org/publication/ChandyM79%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {9},
  number = {4},
  pages = {185-189},
}

runs on WebDSL