TY  - RPRT
TI  - AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
AU  - Mila Dalla Preda
AU  - Saverio Giallorenzo
AU  - Ivan Lanese
AU  - Jacopo Mauro
AU  - Maurizio Gabbrielli
PY  - 2014
UR  - https://arxiv.org/abs/1407.0975
ID  - 1407.0975
ER  -