@incollection{abdulla:kindahl:95,
    Author = {Abdulla, Parosh Aziz and Kindahl, Mats},
    BookTitle = {CONCUR '95: Concurrency Theory},
    Editor = {Lee, Insup and Smolka, Scott A.},
    File = {Decidability of simulation and bisimulation between lossy channel systems and finite state systems - Abdulla, Kindahl (0) (0) - a - a - h.pdf},
    ISBN = {978-3-540-60218-7},
    Keywords = {lossy channel systems},
    Pages = {333-347},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Decidability of simulation and bisimulation between lossy channel systems and finite state systems},
    URL = {http://dx.doi.org/10.1007/3-540-60218-6\_25},
    Volume = {962},
    Year = {1995},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-60218-6\_25},
    date-added = {2013-11-04 13:04:21 +0000},
    date-modified = {2013-11-04 13:04:32 +0000},
    doi = {10.1007/3-540-60218-6_25}
}

@incollection{abdulla:kindahl:95, Author = {Abdulla, Parosh Aziz and Kindahl, Mats}, BookTitle = {CONCUR '95: Concurrency Theory}, Editor = {Lee, Insup and Smolka, Scott A.}, File = {Decidability of simulation and bisimulation between lossy channel systems and finite state systems - Abdulla, Kindahl (0) (0) - a - a - h.pdf}, ISBN = {978-3-540-60218-7}, Keywords = {lossy channel systems}, Pages = {333-347}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Decidability of simulation and bisimulation between lossy channel systems and finite state systems}, URL = {http://dx.doi.org/10.1007/3-540-60218-6_25}, Volume = {962}, Year = {1995}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-60218-6_25}, date-added = {2013-11-04 13:04:21 +0000}, date-modified = {2013-11-04 13:04:32 +0000}, doi = {10.1007/3-540-60218-6_25} }