TY  - RPRT
TI  - Formal Foundations of Continuous Graph Processing
AU  - Philip Dexter
AU  - Yu David Liu
AU  - Kenneth Chiu
PY  - 2020
UR  - https://arxiv.org/abs/1911.10982
ID  - 1911.10982
ER  -