TY  - RPRT
TI  - Algebraic Reasoning About Timeliness
AU  - Seyed Hossein Haeri
AU  - Peter W. Thompson
AU  - Peter Van Roy
AU  - Magne Haveraaen
AU  - Neil J. Davies
AU  - Mikhail Barash
AU  - Kevin Hammond
AU  - James Chapman
PY  - 2023
DO  - 10.4204/eptcs.383.3
UR  - https://arxiv.org/abs/2308.10654
ID  - 2308.10654
ER  -