TY  - RPRT
TI  - Fair Exchange in Strand Spaces
AU  - Joshua D. Guttman
PY  - 2009
DO  - 10.4204/eptcs.7.4
UR  - https://arxiv.org/abs/0910.4342
ID  - 0910.4342
ER  -