@misc{indiciae6918807977fa,
  title = {ReLo: a Dynamic Logic to Reason About Reo Circuits},
  author = {Erick Grilo and Bruno Lopes},
  year = {2023},
  doi = {10.4204/eptcs.376.4},
  url = {https://arxiv.org/abs/2303.13255},
  note = {Source identifier: 2303.13255}
}