TY  - RPRT
TI  - Fully-abstract concurrent games for pi
AU  - Clovis Eberhart
AU  - Tom Hirschowitz
AU  - Thomas Seiller
PY  - 2013
UR  - https://arxiv.org/abs/1310.4306
ID  - 1310.4306
ER  -