@misc{indiciaecea6e3c725bb,
  title = {Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP},
  author = {Rob van Glabbeek},
  year = {2015},
  doi = {10.1007/978-3-319-23506-6\_9},
  url = {https://arxiv.org/abs/1509.05842},
  note = {Source identifier: 1509.05842}
}