TY  - RPRT
TI  - A Theory of Available-by-Design Communicating Systems
AU  - Hugo A. López
AU  - Flemming Nielson
AU  - Hanne Riis Nielson
PY  - 2016
UR  - https://arxiv.org/abs/1611.05651
ID  - 1611.05651
ER  -