Diego Latella, Mieke Massink
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination
QAPL, 2017.
@inproceedings{QAPL-2017-LatellaM,
author = "Diego Latella and Mieke Massink",
booktitle = "{QAPL@ETAPS}",
doi = "10.4204/EPTCS.250.6",
ee = "http://arxiv.org/abs/1707.04126",
pages = "92--110",
title = "{Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination}",
year = 2017,
}