BibTeX Entry

Back to list

@inproceedings{Parosh:Matkin:CONCUR95,
  author	= {Abdulla, Parosh Aziz and Kindahl, Mats},
  editor	= {Lee and Smolka},
  title		= {Decidability of simulation and bisimulation between Lossy Channel Systems and Finite State Systems},
  booktitle	= {Proc. CONCUR '95-6th Int. Conf. on Concurrency Theory},
  publisher	= {Springer Verlag},
  series	= {Lecture Notes in Computer Science},
  volume	= {962},
  pages		= {333--347},
  year		= {1995},
  URL		= {files/concur95.ps}
}