BibTeX Entry

Back to list

@inproceedings{Parosh:Matkin:Nordic,
  author	= {Abdulla, Parosh Aziz and Kindahl, Mats},
  title		= {On decidability of simulation and bisimulation for Lossy Channel Systems},
  booktitle	= {6th Nordic Workshop on Programming Theory, Aarhus, Denmark},
  year		= {1994},
  pages		= {67--77},
  URL		= {files/parosh_matkin_nordic.ps}
}