TY  - RPRT
TI  - A Language for the Declarative Composition of Concurrent Protocols
AU  - Luís Cruz-Filipe
AU  - Fabrizio Montesi
PY  - 2016
DO  - 10.1007/978-3-319-60225-7_7
UR  - https://arxiv.org/abs/1602.03729
ID  - 1602.03729
ER  -