TY  - RPRT
TI  - Trace and Stable Failures Semantics for CSP-Agda
AU  - Bashar Igried
AU  - Anton Setzer
PY  - 2017
DO  - 10.4204/eptcs.258.3
UR  - https://arxiv.org/abs/1709.04714
ID  - 1709.04714
ER  -