@inproceedings{vanGlabbeek_15,
    address          = {Oldenburg, Germany},
    author           = {van Glabbeek, Robert},
    booktitle        = {Correct System Design --- Symposium in Honor of Ernst-R\"udiger Olderog on the Occasion of His 60th
                        Birthday},
    doi              = {10.1007/978-3-319-23506-6_9},
    editor           = {{R. Meyer, A. Platzer \& H. Wehrheim}},
    keywords         = {petri nets, concurrency, process algebra, operational semantics, semantic equivalences,
                        inevitability},
    month            = sep,
    pages            = {99--130},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8776.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of {CCSP}},
    year             = {2015}
  }