logo
BibTeX Entry


@inproceedings{AbJo:lossy:undecidable:ICALP,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  editor	= {Abiteboul and Shamir},
  title		= {Undecidable Verification Problems for Programs with Unreliable Channels},
  booktitle	= {Proc. ICALP '94-21st International Colloquium on Automata, Languages, and Programming},
  publisher	= {Springer Verlag},
  series	= {Lecture Notes in Computer Science},
  volume	= {820},
  year		= {1994},
  pages		= {316--327},
  URL		= {files/icalp94.ps}
}