TY  - RPRT
TI  - Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination
AU  - Diego Latella
AU  - Mieke Massink
PY  - 2017
DO  - 10.4204/eptcs.250.6
UR  - https://arxiv.org/abs/1707.04126
ID  - 1707.04126
ER  -