TY  - RPRT
TI  - A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
AU  - Ian J. Hayes
AU  - Larissa A. Meinicke
AU  - Kirsten Winter
AU  - Robert J. Colvin
PY  - 2017
UR  - https://arxiv.org/abs/1710.03352
ID  - 1710.03352
ER  -