TY  - RPRT
TI  - Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
AU  - Ritam Ganguly
AU  - Yingjie Xue
AU  - Aaron Jonckheere
AU  - Parker Ljung
AU  - Benjamin Schornstein
AU  - Borzoo Bonakdarpour
AU  - Maurice Herlihy
PY  - 2022
UR  - https://arxiv.org/abs/2204.09796
ID  - 2204.09796
ER  -