TY  - RPRT
TI  - Depending on Session-Typed Processes
AU  - Bernardo Toninho
AU  - Nobuko Yoshida
PY  - 2018
UR  - https://arxiv.org/abs/1801.08114
ID  - 1801.08114
ER  -