@misc{indiciae633a04c85646,
  title = {Symbolic Parallel Composition for Multi-language Protocol Verification},
  author = {Faezeh Nasrabadi and Robert Künnemann and Hamed Nemati},
  year = {2025},
  url = {https://arxiv.org/abs/2504.06833},
  note = {Source identifier: 2504.06833}
}