TY  - RPRT
TI  - Verifying the correct composition of distributed components: Formalisation and Tool
AU  - Ludovic Henrio
AU  - Oleksandra Kulankhina
AU  - Dongqian Liu
AU  - Eric Madelaine
PY  - 2015
DO  - 10.4204/eptcs.175.5
UR  - https://arxiv.org/abs/1502.03515
ID  - 1502.03515
ER  -