@misc{indiciaef5e87fa7eda3,
  title = {Compositional Net Semantics up to Step Net Bisimilarity},
  author = {Roberto Gorrieri},
  year = {2023},
  url = {https://arxiv.org/abs/2301.04483},
  note = {Source identifier: 2301.04483}
}