TY  - RPRT
TI  - Shared Contract-Obedient Endpoints
AU  - Étienne Lozes
AU  - Jules Villard
PY  - 2012
DO  - 10.4204/eptcs.104.3
UR  - https://arxiv.org/abs/1212.3875
ID  - 1212.3875
ER  -