@incollection{semantic_syntactic_simulations:03,
    Author = {Hannay, Jo and Katsumata, Shin-ya and Sannella, Donald},
    BookTitle = {Mathematical Foundations of Computer Science 2003},
    Editor = {Rovan, Branislav and Vojt{\'a}{\v s}, Peter},
    File = {Semantic and Syntactic Approaches to Simulation Relations - Hannay, Katsumata, Sannella (0) (0) - a - a - j.pdf},
    ISBN = {978-3-540-40671-6},
    Pages = {68-91},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Semantic and Syntactic Approaches to Simulation Relations},
    URL = {http://dx.doi.org/10.1007/978-3-540-45138-9\_4},
    Volume = {2747},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45138-9\_4},
    date-added = {2013-05-08 20:10:13 +0000},
    date-modified = {2013-05-08 20:10:13 +0000},
    doi = {10.1007/978-3-540-45138-9_4}
}

@incollection{semantic_syntactic_simulations:03, Author = {Hannay, Jo and Katsumata, Shin-ya and Sannella, Donald}, BookTitle = {Mathematical Foundations of Computer Science 2003}, Editor = {Rovan, Branislav and Vojt{\'a}{\v s}, Peter}, File = {Semantic and Syntactic Approaches to Simulation Relations - Hannay, Katsumata, Sannella (0) (0) - a - a - j.pdf}, ISBN = {978-3-540-40671-6}, Pages = {68-91}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Semantic and Syntactic Approaches to Simulation Relations}, URL = {http://dx.doi.org/10.1007/978-3-540-45138-9_4}, Volume = {2747}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-45138-9_4}, date-added = {2013-05-08 20:10:13 +0000}, date-modified = {2013-05-08 20:10:13 +0000}, doi = {10.1007/978-3-540-45138-9_4} }