logo
BibTeX Entry


@inproceedings{AbJo:lossy,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  title		= {Verifying Programs with Unreliable Channels},
  booktitle	= {Proc. LICS '93-8th IEEE Int. Symp. on Logic in Computer Science},
  pages		= {160--170},
  year		= {1993},
  URL		= {files/lics93.ps}
}