TY  - RPRT
TI  - Complementing an imperative process algebra with a rely/guarantee logic
AU  - C. A. Middelburg
PY  - 2025
UR  - https://arxiv.org/abs/2502.03320
ID  - 2502.03320
ER  -