@inproceedings{Peters_Glabbeek_15,
    address          = {Madrid, Spain},
    author           = {Peters, Kirstin and van Glabbeek, Robert},
    booktitle        = {Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on
                        Structural Operational Semantics},
    doi              = {10.4204/EPTCS.190.4},
    editor           = {{Silvia Crafa \& Daniel Gebler}},
    keywords         = {process calculi, encodings, encodability criteria, operational correspondence, simulation relations},
    month            = aug,
    pages            = {46--60},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8247.pdf},
    publisher        = {Open Publishing Association},
    title            = {Analysing and Comparing Encodability Criteria},
    year             = {2015}
  }