Reducing Deadlock and Livelock Freedom to Termination

by Byron Cook, Stephen Magill, Matthew Parkinson, Thomas Ströder
Reference:
Reducing Deadlock and Livelock Freedom to Termination (Byron Cook, Stephen Magill, Matthew Parkinson, Thomas Ströder), In Proceedings of the 14th International Workshop on Termination (WST 2014) (Carsten Fuhs, ed.), 2014.
Bibtex Entry:
@inproceedings{CookMagillParkinsonStroeder2014,
  title      = {Reducing Deadlock and Livelock Freedom to Termination},
  author     = {Cook, Byron and Magill, Stephen and Parkinson, Matthew and Str{"o}der, Thomas},
  booktitle  = {Proceedings of the 14th International Workshop on Termination (WST 2014)},
  editor     = {Fuhs, Carsten},
  year       = {2014},
  location   = {Vienna, Austria},
  pages      = {16--20}
}

Bookmark the permalink.