TY  - RPRT
TI  - ReLo: a Dynamic Logic to Reason About Reo Circuits
AU  - Erick Grilo
AU  - Bruno Lopes
PY  - 2023
DO  - 10.4204/eptcs.376.4
UR  - https://arxiv.org/abs/2303.13255
ID  - 2303.13255
ER  -