![]() |
BibTeX Entry |
@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} }