TY  - RPRT
TI  - Automata for Specifying and Orchestrating Service Contracts
AU  - Davide Basile
AU  - Pierpaolo Degano
AU  - Gian-Luigi Ferrari
PY  - 2016
DO  - 10.2168/lmcs-12(4:6)2016
UR  - https://arxiv.org/abs/1607.08363
ID  - 1607.08363
ER  -